3844 search results - page 42 / 769 » Modular interpreted systems |
HICSS
2007
IEEE
14 years 2 months ago
2007
IEEE
Recently, Continua Health Alliance has brought together a powerhouse team, including Cisco, IBM, Motorola and others, for personal telehealth products and services. This team will...
VLSID
2003
IEEE
14 years 9 months ago
2003
IEEE
Most verification tools and methodologies such as model checking, equivalence checking, hardware verification, software verification, and hardware-software coverification often fl...
PADS
2000
ACM
14 years 26 days ago
2000
ACM
In this paper, we introduce a new Time Warp system called ROSS: Rensselaer’s Optimistic Simulation System. ROSS is an extremely modular kernel that is capable of achieving event...
ISSRE
2002
IEEE
14 years 1 months ago
2002
IEEE
In this paper, based on software reliability growth models with generalized logistic testing-effort function, we study three optimal resource allocation problems in modular softwa...
SAMOS
2004
Springer
14 years 1 months ago
2004
Springer
