157 search results - page 10 / 32 » Incremental Compilation-to-SAT Procedures |
143
click to vote
VISUALIZATION
1996
IEEE
15 years 3 months ago
1996
IEEE
We present a method for producing real-time volume visualizations of continuously captured, arbitrarily-oriented 2D arrays (slices) of data. Our system constructs a 3D representat...
161
click to vote
PODC
1993
ACM
15 years 3 months ago
1993
ACM
A counting protocol (mod m) consists of shared memory bits - referred to as the counter - and of a procedure for incrementing the counter value by 1 (mod m). The procedure may be ...
116
click to vote
IJON
2006
14 years 11 months ago
2006
Constructing the controller of a mobile robot has several issues to be addressed: how to automate behavior generation procedure, how to insert available domain knowledge effective...
CONTEXT
2005
Springer
15 years 5 months ago
2005
Springer
Enterprises develop procedures to address focuses in any case. However, procedures result often in sub-optimal solutions for any specific focus. As a consequence, each actor develo...
103
click to vote
CONCURRENCY
2010
14 years 9 months ago
2010
SCALASCA is a performance toolset that has been specifically designed to analyze parallel application execution behavior on large-scale systems. It offers an incremental performan...