3280 search results - page 40 / 656 » MiTAP for real users, real data, real problems |
VMCAI
2010
Springer
15 years 11 months ago
2010
Springer
We present uniform approaches to establish complexity bounds for decision problems such as reachability and simulation, that arise naturally in the verification of timed software s...
116
click to vote
ICCAD
2001
IEEE
15 years 10 months ago
2001
IEEE
As system integration evolves and tighter design constraints must be met, it becomes necessary to account for the non-ideal behavior of all the elements in a system. Certain devic...
95
Voted
ITCC
2000
IEEE
15 years 6 months ago
2000
IEEE
Parallel computers can do more than simply speed up sequential computations. They are capable of nding solutions that are far better in quality than those obtained by sequential c...
116
Voted
PLDI
2003
ACM
15 years 7 months ago
2003
ACM
CCured is a program transformation system that adds memory safety guarantees to C programs by verifying statically that memory errors cannot occur and by inserting run-time checks...
CHI
2009
ACM
16 years 2 months ago
2009
ACM
This paper reports the preliminary results of a humanrobot dialogue analysis in the real world with the goal of understanding users' interaction patterns. We analyzed the dia...