673 search results - page 86 / 135 » A timing model for synchronous language implementations in s... |
ICCS
2003
Springer
14 years 29 days ago
2003
Springer
Interprocess communication (IPC) is an important phenomenon in distributed computing and operating systems. Microkernels of modern operating systems use synchronous IPC semantics f...
ASPLOS
2008
ACM
13 years 9 months ago
2008
ACM
Extracting high-performance from the emerging Chip Multiprocessors (CMPs) requires that the application be divided into multiple threads. Each thread executes on a separate core t...
FDL
2005
IEEE
14 years 1 months ago
2005
IEEE
In the Software/Hardware Engineering model-driven design methodology, preservation of real-time system properties can be guaranteed in the model synthesis up to a small time-deviat...
ASP
2001
Springer
13 years 11 months ago
2001
Springer
In this paper we implement planning using answer set programming. We consider the action language A and its extensions. We show that when the domain is described using richer feat...
BIRTHDAY
2010
Springer
13 years 8 months ago
2010
Springer
Programmable networks offer the ability to customize router behaviour at run time, thus providing new levels of flexibility for network administrators. We have developed a program...