571 search results - page 22 / 115 » A Case Study in Parallel Verification of Component-Based Sys... |
ADAEUROPE
2008
Springer
14 years 2 days ago
2008
Springer
The Ravenscar profile for Ada enforces several restrictions on the usage of general-purpose tasking constructs, thereby facilitating most analysis tasks and in particular functiona...
CISIS
2010
IEEE
14 years 1 months ago
2010
IEEE
Offload C++ is an extended version of the C++ language, together with a compiler and runtime system, for automatically offloading general-purpose C++ code to run on the Synergistic...
CODES
2008
IEEE
13 years 12 months ago
2008
IEEE
Using traditional software profiling to optimize embedded software in an MPSoC design is not reliable. With multiple processors running concurrently and programs interacting, trad...
LREC
2010
13 years 11 months ago
2010
In recent years we have resgitered a renewed interest in event detection and temporal processing of text/discourse. TimeML (Pustejovsky et al., 2003a) has shed new lights on the n...
COLCOM
2008
IEEE
14 years 4 months ago
2008
IEEE
The Data Interoperability Problem appears in contexts where consumers need to peruse data owned by producers, and the syntax and/or semantics of such data—at both end points—ar...