308 search results - page 30 / 62 » Symbolic execution of data paths |
CAV
2006
Springer
14 years 11 days ago
2006
Springer
Many multithreaded programs employ concurrent data types to safely share data among threads. However, highly-concurrent algorithms for even seemingly simple data types are difficul...
HPDC
2005
IEEE
14 years 2 months ago
2005
IEEE
good data partitioning scheme is the need of the time. However it is very diflcult to arrive at a good solution as the number of possible dutupartitionsfor a given real lifeprogra...
IEEEINTERACT
2002
IEEE
14 years 1 months ago
2002
IEEE
Smaller input data sets such as the test and the train input sets are commonly used in simulation to estimate the impact of architecture/micro-architecture features on the perform...
KBSE
2007
IEEE
14 years 2 months ago
2007
IEEE
Two or more components (e.g., objects, modules, or programs) interoperate when they exchange data, such as XML data. Using Application Programming Interface (API) calls exported b...
HOLOMAS
2007
Springer
14 years 2 months ago
2007
Springer
An approach to extend process monitoring with the help of information agents (IA) handling semantic data is presented in this paper. According to this approach, an operator of a pr...