4666 search results - page 564 / 934 » Equations on Timed Languages |
180
click to vote
ASPLOS
2006
ACM
16 years 1 months 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...
204
Voted
ASPLOS
2004
ACM
16 years 1 months 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...
219
click to vote
ITS
2004
Springer
16 years 29 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...
214
click to vote
ITNG
2010
IEEE
16 years 20 days 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...
225
Voted
ISSTA
2009
ACM
16 years 8 days 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...