3280 search results - page 40 / 656 » MiTAP for real users, real data, real problems |
VMCAI
2010
Springer
14 years 5 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...
ICCAD
2001
IEEE
14 years 5 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...
ITCC
2000
IEEE
14 years 26 days 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...
PLDI
2003
ACM
14 years 1 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
14 years 9 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...