1876 search results - page 228 / 376 » Language Networks on LiveJournal |
146
click to vote
COMPSAC
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract—The pervasiveness of complex communication services and the need for end-users to play a greater role in developing communication services have resulted in the creation ...
140
click to vote
SAIG
2001
Springer
15 years 10 months ago
2001
Springer
Most foundational models for global computing have focused on the spatial dimension of computations, however global computing requires also new ways of thinking about the temporal ...
193
click to vote
ATVA
2006
Springer
15 years 9 months ago
2006
Springer
In this paper, we present and illustrate an approach to compositional reasoning for hardware/software co-verification of embedded systems. The major challenges in compositional rea...
152
click to vote
CONCUR
2006
Springer
15 years 9 months ago
2006
Springer
Timed concurrent systems are widely used in concurrent and distributed real-time software, modeling of hybrid systems, design of hardware systems (using hardware description langua...
161
click to vote
AFRIGRAPH
2001
ACM
15 years 9 months ago
2001
ACM
Practical experience in porting a large virtual reality system from C/C++ to Java indicates that porting this type of real-time application is both feasible, and has several merit...