4666 search results - page 564 / 934 » Equations on Timed Languages |
163
click to vote
ASPLOS
2006
ACM
16 years 26 days ago
2006
ACM
Significant time is spent by companies trying to reproduce and fix bugs. BugNet and FDR are recent architecture proposals that provide architecture support for deterministic rep...
189
click to vote
ASPLOS
2004
ACM
16 years 10 days ago
2004
ACM
Distributed Shortest-Positioning Time First (D-SPTF) is a request distribution protocol for decentralized systems of storage servers. D-SPTF exploits high-speed interconnects to d...
202
click to vote
ITS
2004
Springer
16 years 7 days ago
2004
Springer
While human tutors typically interact with students using spoken dialogue, most computer dialogue tutors are text-based. We have conducted two experiments comparing typed and spoke...
183
click to vote
ITNG
2010
IEEE
15 years 12 months ago
2010
IEEE
—In reservoir engineering domain experts deal with many tasks and operations, ranging from reservoir simulation to well maintenance scheduling, with the goal of maximizing oil pr...
200
click to vote
ISSTA
2009
ACM
15 years 11 months ago
2009
ACM
This paper describes an approach for conformance testing of mobile and distributed systems. The approach is based on kiltera — a novel, high-level language supporting the descri...