1840 search results - page 140 / 368 » time 2002 |
152
click to vote
CSCW
2002
ACM
15 years 4 months ago
2002
ACM
Bitmap-based collaborative graphics editing systems are a special class of real-time collaborative editing systems. Undo is an important and difficult problem in these systems. Ex...
121
click to vote
ENTCS
2002
15 years 4 months ago
2002
This paper presents PLCTools, a formal environment for designing and simulating programmable controllers. Control models are specified with IEC FBD (Function Block Diagram), and t...
147
click to vote
ET
2002
15 years 4 months ago
2002
We propose an integrated framework for the design of SOC test solutions, which includes a set of algorithms for early design space exploration as well as extensive optimization for...
140
click to vote
JCC
2002
15 years 4 months ago
2002
: Presented in the context of classical molecular mechanics and dynamics are multilevel summation methods for the fast calculation of energies/forces for pairwise interactions, whi...
146
click to vote
NJC
2002
15 years 4 months ago
2002
The tcc model is a formalism for reactive concurrent constraint programming. We present a model of temporal concurrent constraint programming which adds to tcc the capability of mo...