271 search results - page 50 / 55 » The lattice of embedded subsets |
ICFP
2008
ACM
14 years 10 months ago
2008
ACM
Severely resource-constrained devices present a confounding challenge to the functional programmer: we are used to having powerful ion facilities at our fingertips, but how can we...
GRC
2007
IEEE
14 years 4 months ago
2007
IEEE
The bulk of contents out on the Internet continue to grow at an astounding pace. As computing and communications become ubiquitous, we are entering the Mobile Internet Computing e...
IEEEPACT
2002
IEEE
14 years 3 months ago
2002
IEEE
Modern embedded systems often require high degrees of instruction-level parallelism (ILP) within strict constraints on power consumption and chip cost. Unfortunately, a high-perfo...
RTCSA
1999
IEEE
14 years 2 months ago
1999
IEEE
ASTRAL is a high-level formal specification language for real-time (infinite state) systems. It is provided with structuring mechanisms that allow one to build modularized specifi...
CASES
2004
ACM
14 years 1 months ago
2004
ACM
Asynchronous Software Thread Integration (ASTI) provides fine-grain concurrency in real-time threads by statically scheduling (integrating) code from primary threads into secondar...