Sciweavers

1711 search results - page 191 / 343
» Completing pseudojump operators
Sort
View
DAC
1994
ACM
14 years 11 days ago
Performance Analysis and Optimization of Schedules for Conditional and Loop-Intensive Specifications
This paper presents a new method,based on Markov chain analysis, to evaluate the performance of schedules of behavioral specifications. The proposed performance measure is the expe...
Subhrajit Bhattacharya, Sujit Dey, Franc Brglez
ALP
1990
Springer
14 years 10 days ago
Equation Solving in Conditional AC-Theories
Conditional Equational Programming is an elegant way to uniformly integrate important features of functional and logic programming. Efficientmethods for equation solving are thus ...
Nachum Dershowitz, Subrata Mitra, G. Sivakumar
VLDB
1992
ACM
112views Database» more  VLDB 1992»
14 years 10 days ago
Incomplete Information in Relational Temporal Databases
For the conventional relational model there has been considerable research in the area of incomplete information. On the other hand, research in temporal databases has concentrated...
Shashi K. Gadia, Sunil S. Nair, Yiu-Cheong Poon
ASYNC
1997
IEEE
140views Hardware» more  ASYNC 1997»
13 years 12 months ago
The Design and Verification of A High-Performance Low-Control-Overhead Asynchronous Differential Equation Solver
Abstract-This paper describes the design and verification of a high-performance asynchronous differential equation solver benchmark circuit. The design has low control overhead whi...
Kenneth Y. Yun, Ayoob E. Dooply, Julio Arceo, Pete...
ESANN
2004
13 years 9 months ago
BIOSEG: a bioinspired vlsi analog system for image segmentation
: The architecture of a complete image segmentation system and the development of an embedded VLSI low-power integrated circuit are reported. A neuromorphic engineering approach is...
Jordi Madrenas, Jordi Cosp, Lucas Oscar, Eduard Al...