1636 search results - page 54 / 328 » InfoPad - An Experiment in System Level Design and Integrati... |
131
click to vote
DSVIS
1998
Springer
15 years 4 months ago
1998
Springer
Formal modelling, in interactive system design, has received considerably less real use than might have been hoped. Heavy weight formal methods can be expensive to use, with poor c...
101
click to vote
ISORC
2008
IEEE
15 years 6 months ago
2008
IEEE
Cyber-Physical Systems (CPS) are integrations of computation and physical processes. Embedded computers and networks monitor and control the physical processes, usually with feedb...
SEMWEB
2009
Springer
15 years 6 months ago
2009
Springer
There are different strategies to integrate software systems: integration on the data layer, on the business logic layer, and on the user interface layer. The latter area, recent...
PPOPP
2009
ACM
15 years 6 months ago
2009
ACM
Abstract. Transactional memory (TM) promises to simplify construction of parallel applications by allowing programmers to reason about interactions between concurrently executing c...
ICCAD
2002
IEEE
15 years 8 months ago
2002
IEEE
For many years, CMOS process scaling has allowed a steady increase in the operating frequency and integration density of integrated circuits. Only recently, however, have we reach...