1271 search results - page 101 / 255 » On Simulation-Checking with Sequential Systems |
ICMCS
2008
IEEE
14 years 5 months ago
2008
IEEE
Recently, advanced video processing systems have been developed for numerous applications, such as surveillance, tracking, monitoring, object and event detection. The large size o...
ICPP
2007
IEEE
14 years 5 months ago
2007
IEEE
We propose and evaluate a novel approach for automatic parallelization. The approach uses traces as units of parallel work. We discuss the benefits and challenges of the use of t...
EMISA
2007
Springer
14 years 4 months ago
2007
Springer
: Work systems are complex artifacts that address the concerns of a large and diverse group of stakeholders. These concerns must be reflected in the models which are created as use...
PPAM
2007
Springer
14 years 4 months ago
2007
Springer
Combining simulations of different scale in one application is non-trivial issue. This paper proposes solution that supports complex time interactions that can appear between elem...
LCPC
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. We describe Fastpath, a system for speculative parallelization of sequential programs on conventional multicore processors. Our system distinguishes between the lead thre...