4166 search results - page 215 / 834 » Automating the constraining process |
131
Voted
CIIA
2009
15 years 4 months ago
2009
Petroleum industry production systems are highly automatized. In this industry, all functions (e.g., planning, scheduling and maintenance) are automated and in order to remain comp...
129
click to vote
DAC
1998
ACM
16 years 4 months ago
1998
ACM
We present a Petri net theoretic approach to the software synthesis problem that can synthesize ordinary C programs from processbased concurrent specifications without the need for...
127
Voted
DAC
2002
ACM
16 years 4 months ago
2002
ACM
We present an analytical method to evaluate embedded network packet processor architectures, and to explore their design space. Our approach is in contrast to those based on simul...
104
Voted
DAC
2006
ACM
16 years 4 months ago
2006
ACM
Packet editing is a fundamental building block of data communication systems such as switches and routers. Circuits that implement this function are critical and define the featur...
129
click to vote
DIAL
2006
IEEE
15 years 9 months ago
2006
IEEE
We explore connections between digital libraries and interactive document image analysis. Digital libraries can provide useful data and metadata for research in automated document...