1096 search results - page 153 / 220 » Computation Slicing: Techniques and Theory |
ICMI
2003
Springer
14 years 2 months ago
2003
Springer
We present methods for inferring the cost of interrupting users based on multiple streams of events including information generated by interactions with computing devices, visual ...
DSN
2002
IEEE
14 years 2 months ago
2002
IEEE
This paper presents the experiences of using a symbolic model checker to check the safety properties of a servoloop control system. Symbolic model checking has been shown to be be...
GLVLSI
2002
IEEE
14 years 2 months ago
2002
IEEE
Many computation-intensive or recursive applications commonly found in digital signal processing and image processing applications can be represented by data-flow graphs (DFGs). ...
HPCC
2009
Springer
14 years 2 months ago
2009
Springer
Compared with lock-based synchronization techniques, Software Transactional Memory (STM) can significantly improve the programmability of multithreaded applications. Existing res...
CHI
2000
ACM
14 years 2 months ago
2000
ACM
We present experimental work that explores the factors governing symmetric bimanual interaction in a two-handed task that requires the user to track a pair of targets, one target ...