3575 search results - page 118 / 715 » Modeling Concurrency with Geometry |
121
Voted
ECRTS
2008
IEEE
15 years 8 months ago
2008
IEEE
Embedded services and applications that interact with the real world often, over time, need to run on different kinds of hardware (low-cost microcontrollers to powerful multicore ...
134
Voted
CASES
2008
ACM
15 years 3 months ago
2008
ACM
Detailed or cycle-accurate/bit-accurate (CABA) simulation is a critical phase in the design flow of embedded systems. However, with increasing system complexity, full detailed sim...
140
click to vote
PLDI
2011
ACM
14 years 4 months ago
2011
ACM
In this paper we propose Recon, a new general approach to concurrency debugging. Recon goes beyond just detecting bugs, it also presents to the programmer short fragments of buggy...
138
click to vote
CGI
2004
IEEE
15 years 5 months ago
2004
IEEE
In this paper a new adaptation-basedmethod is presented to reconstruct animatable facial models of human individuals from scan data. An anatomy-based generic control model serves ...
107
click to vote
CORR
2011
Springer
14 years 8 months ago
2011
Springer
nt programs, programming abstractions for data parallel programs, software model checking for confidentiality, electronic voting security, synthesis of interface specons for Java ...