5180 search results - page 757 / 1036 » Concurrency, Time, and Constraints |
210
click to vote
BIRTHDAY
2003
Springer
15 years 12 months ago
2003
Springer
Abstract: In the automotive and aerospace industry, millions of technical documents are generated during the development of complex engineering products. Particularly, the universa...
171
click to vote
HT
2010
ACM
15 years 11 months ago
2010
ACM
Parallel browsing describes a behavior where users visit Web pages in multiple concurrent threads. Web browsers explicitly support this by providing tabs. Although parallel browsi...
167
click to vote
PLDI
2010
ACM
15 years 11 months ago
2010
ACM
Dynamic correctness checking tools (a.k.a. lifeguards) can detect a wide array of correctness issues, such as memory, security, and concurrency misbehavior, in unmodified executa...
201
Voted
ISMAR
2002
IEEE
15 years 11 months ago
2002
IEEE
This system paper reports on some of the advantages tangible interaction can bring to chemistry education. The paper describes the realisation of an in-house designed Tangible Use...
189
click to vote
SIGMOD
2010
ACM
15 years 11 months ago
2010
ACM
Time-oriented progress estimation for parallel queries is a challenging problem that has received only limited attention. In this paper, we present ParaTimer, a new type of timere...