Sciweavers

3507 search results - page 363 / 702
» Specialized execution environments
Sort
View
ASPLOS
2006
ACM
16 years 24 days ago
Portability events: a programming model for scalable system infrastructures
Clustered Objects (COs) [1] have been proven to be an effective ion for improving scalability of systems software [2, 3]. But can we devise a programming model that would allow CO...
Chris Matthews, Yvonne Coady, Jonathan Appavoo
LICS
2005
IEEE
16 years 12 days ago
Uniform Distributed Synthesis
We provide a uniform solution to the problem of synthesizing a finite-state distributed system. An instance of the synthesis problem consists of a system architecture and a tempo...
Bernd Finkbeiner, Sven Schewe
CASSIS
2005
Springer
16 years 11 days ago
Romization: Early Deployment and Customization of Java Systems for Constrained Devices
Memory is one of the scarcest resource of embedded and constrained devices. This paper studies the memory footprint benefit of pre-deploying embedded Java systems up to their acti...
Alexandre Courbot, Gilles Grimaud, Jean-Jacques Va...
SARA
2005
Springer
16 years 9 days ago
Synthesizing Plans for Multiple Domains
Intelligent agents acting in real world environments need to synthesize their course of action based on multiple sources of knowledge. They also need to generate plans that smoothl...
Abdelbaki Bouguerra, Lars Karlsson
WSTFEUS
2003
IEEE
16 years 2 days ago
SCA-based Component Framework for Software Defined Radio
SCA (Software Communication Architecture), which has been adopted as a SDR (Software Defined Radio) Forum standard, provides a framework that successfully exploits common design p...
Saehwa Kim, Jamison Masse, Seongsoo Hong, Naehyuck...