2527 search results - page 391 / 506 » A UML-Based Approach to System Testing |
112
click to vote
ICFP
2004
ACM
16 years 3 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...
123
click to vote
ICCD
2008
IEEE
16 years 16 days ago
2008
IEEE
—Dynamic voltage scaling (DVS) provides power savings for systems with varying performance requirements. One low overhead implementation of DVS uses PMOS power switches to connec...
110
click to vote
CRV
2009
IEEE
15 years 10 months ago
2009
IEEE
We describe a navigation and coverage system based on unsupervised learning driven by visual input. Our objective is to allow a robot to remain continuously moving above a terrain...
113
Voted
ICRA
2009
IEEE
15 years 10 months ago
2009
IEEE
— We report our first experiences with Leaving Flatland, an exploratory project that studies the key challenges of closing the loop between autonomous perception and action on c...
190
Voted
BDIM
2008
IEEE
15 years 10 months ago
2008
IEEE
—Knowing the dependencies among computing assets and services provides insights into the computing and business landscape, therefore, facilitating low-risk timely changes in supp...