SPLASH 2014 (series) / AGERE! (series) /
AGERE! Program
This is the AGERE! program - see the full program for SPLASH 2014 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Mon 20 OctDisplayed time zone: Tijuana, Baja California change
Mon 20 Oct
Displayed time zone: Tijuana, Baja California change
08:30 - 10:00 | |||
08:30 5mDay opening | Opening & Welcome AGERE! | ||
08:35 60mTalk | Upgrade Programming for Mobile Cloud AGERE! Gul Agha University of Illinois at Urbana-Champaign | ||
09:35 25mTalk | Selectors: Actors with Multiple Guarded Mailboxes AGERE! |
10:30 - 12:00 | |||
10:30 22mTalk | Fault Tolerant Distributed Computing using Asynchronous Local Checkpointing AGERE! | ||
10:52 22mTalk | Scaling-Up Behavioral Programming: Steps from Basic Principles to Application Architectures AGERE! | ||
11:15 22mTalk | Multiple Inheritance in AgentSpeak(L)-style Programming Languages AGERE! | ||
11:37 22mTalk | From Actor Event-Loop to Agent Control-Loop - Impact on Programming AGERE! Alessandro Ricci University of Bologna |
13:30 - 15:00 | |||
13:30 22mTalk | CAF - The C++ Actor Framework for Scalable and Resource-efficient Applications AGERE! | ||
13:52 22mTalk | An Automatic Actors to Threads Mapping Technique for JVM-based Actor Frameworks AGERE! | ||
14:15 22mTalk | Event-based Analysis of Timed Rebeca Models using SQL AGERE! | ||
14:37 22mTalk | Efficient TCTL Model Checking Algorithm for Timed Actors AGERE! |
15:30 - 17:00 | |||
15:30 15mTalk | Savina - An Actor Benchmark Suite AGERE! | ||
15:45 5mTalk | Composita: Bringing Order to Agent Communications AGERE! | ||
15:50 5mTalk | Modular Reasoning in Capsule AGERE! | ||
15:55 5mTalk | Supporting Relative Location Constraints in Actor Systems AGERE! | ||
16:00 55mMeeting | Brainstorming & Discussion AGERE! | ||
16:55 5mDay closing | Closing AGERE! |