8132 search results - page 1394 / 1627 » Dependability, Abstraction, and Programming |
161
click to vote
ICC
2007
IEEE
16 years 26 days ago
2007
IEEE
Abstract- Switched Processing Systems (SPS) represent a canonical model for many areas of applications of communication, computer and manufacturing systems. They are characterized ...
155
click to vote
ISVLSI
2007
IEEE
16 years 24 days ago
2007
IEEE
The new design challenges imposed by the increasing difficulties of today’s electronic systems obligated designers to develop new methodologies. System-level design and Platfor...
146
click to vote
LICS
2007
IEEE
16 years 24 days ago
2007
IEEE
FreshML extends ML with constructs for declaring and ting abstract syntax trees that involve names and statically scoped binders. It is impure: name generation is an observable si...
201
click to vote
LICS
2007
IEEE
16 years 24 days ago
2007
IEEE
We define a new class of languages defined by multi-stack automata that forms a robust subclass of context-sensitive languages, with decidable emptiness and closure under boolea...
155
click to vote
NOCS
2007
IEEE
16 years 24 days ago
2007
IEEE
Measuring and comparing performance, cost, and other features of advanced communication architectures for complex multi core/multiprocessor systems on chip is a significant challe...