189 search results - page 19 / 38 » Integration of Functional and Timed Testing of Real-Time and... |
TAICPART
2010
IEEE
13 years 5 months ago
2010
IEEE
We report on how the Wrangler refactoring tool has been used to improve and transform test code for Erlang systems. This has been achieved through the removal of code clones, the i...
ICFP
2004
ACM
14 years 7 months ago
2004
ACM
This paper presents an approach to searching for deadlocks in Concurrent Haskell programs. The search is based on a redefinition of the IO monad which allows the reversal of Concu...
ICRA
2000
IEEE
13 years 12 months ago
2000
IEEE
A robotic system is developed to automate the packing of polycrystalline silicon nuggets into a fragile fused silica crucible in CZ semiconductor wafer production. The highly irre...
RTAS
2008
IEEE
14 years 1 months ago
2008
IEEE
A hybrid scheduling algorithm is proposed, which integrates features of the Fixed Priority (FP) and Earliest Deadline First (EDF) scheduling policies. It is shown that this hybrid...
DSN
2002
IEEE
14 years 15 days ago
2002
IEEE
—Advanced automotive control applications such as steer-by-wire are typically implemented as distributed systems comprising many embedded processors, sensors, and actuators inter...