344 search results - page 18 / 69 » Software Process Modeling and Execution Within Virtual Envir... |
ASWEC
2009
IEEE
13 years 5 months ago
2009
IEEE
Failure of a design to satisfy a system's requirements can result in schedule and cost overruns. When using current approaches, ensuring requirements are satisfied is often d...
SIGMETRICS
1998
ACM
13 years 12 months ago
1998
ACM
This paper reports on a set of experiments that measure the amount of CPU processing needed to decode MPEGcompressed video in software. These experiments were designed to discover...
ISSTA
2006
ACM
14 years 1 months ago
2006
ACM
Model checking can be an effective technique for detecting concurrency-related errors in software systems. However, due to scalability issues, to handle industrial-strength softw...
CODES
2003
IEEE
14 years 28 days ago
2003
IEEE
Hardware/Software cosimulation is the key process to shorten the design turn around time. We have proposed a novel technique, called virtual synchronization, for fast and time acc...
ERSHOV
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Debugging virtual machines (VMs) presents unique challenges, especially meta-circular VMs, which are written in the same language they implement. Making sense of runtime ...