2662 search results - page 93 / 533 » Objects-early tools: a demonstration |
103
click to vote
DATE
2004
IEEE
15 years 5 months ago
2004
IEEE
Advances in Boolean satisfiability solvers have popularized their use in many of today's CAD VLSI challenges. Existing satisfiability solvers operate on a circuit representat...
128
click to vote
ROBOCUP
1998
Springer
15 years 5 months ago
1998
Springer
Abstract. Constraint Nets provide a semantic model for modeling hybrid dynamic systems. Controllers are embedded constraint solvers that solve constraints in real-time. A controlle...
107
click to vote
FPL
1995
Springer
15 years 5 months ago
1995
Springer
Abstract. FPGAs have been proposed as high-performance alternatives to DSP processors. This paper quantitatively compares FPGA performance against DSP processors and ASICs using ac...
118
click to vote
PPOPP
1997
ACM
15 years 5 months ago
1997
ACM
This paper describes a new approach to finding performance bottlenecks in shared-memory parallel programs and its embodiment in the Paradyn Parallel Performance Tools running with...
BPM
2008
Springer
15 years 3 months ago
2008
Springer
In this paper, we demonstrate the prototype of a modelling tool that applies graph-based rules for identifying problems in business process models. The advantages of our approach a...