247 search results - page 14 / 50 » Event Based Sequential Program Development: Application to C... |
VL
2000
IEEE
13 years 11 months ago
2000
IEEE
Concurrent programming is a complex task, even with modern languages such as Java who provide languagebased support for multithreading and synchronization. In addition to typical ...
ICST
2011
IEEE
12 years 11 months ago
2011
IEEE
—Developers have used data structure repair over the last few decades as an effective means to recover on-the-fly from errors in program state. Traditional repair techniques wer...
RV
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. Concurrent trace programs (CTPs) are slices of the concurrent programs that generate the concrete program execution traces, where inter-thread event order specific to th...
SBACPAD
2008
IEEE
14 years 1 months ago
2008
IEEE
The development of grid algorithms is frequently hampered by limited means to describe topologies and lack of support for the invasive composition of legacy components in order to...
AVI
2000
13 years 8 months ago
2000
Declarative models play an important role in most software design activities, by allowing designs to be constructed that selectively abstract over complex implementation details. ...