Sciweavers

360 search results - page 55 / 72
» The Origins of the Translator's Workstation
Sort
View
RIDE
1993
IEEE
15 years 6 months ago
Integration of Relational Databases in a Multidatabase System based on Schema Enrichment
In this paper, we describe a framework for an object-oriented modeling of meta information and its use for the integration of heterogeneous databases with the goal of their intero...
Daniel A. Keim, Hans-Peter Kriegel, Andreas Mieths...
102
Voted
APL
1992
ACM
15 years 6 months ago
Compiler Tools in APL
We present the design and implementation of APL Intrinsic Functions for a Finite State Machine (also known as a Finite State Automaton) which recognizes regular languages, and a P...
Robert Bernecky, Gert Osterburg
91
Voted
CASES
2007
ACM
15 years 5 months ago
Performance-driven syntax-directed synthesis of asynchronous processors
The development of robust and efficient synthesis tools is important if asynchronous design is to gain more widespread acceptance. Syntax-directed translation is a powerful synthe...
Luis A. Plana, Doug A. Edwards, Sam Taylor, Luis A...
125
Voted
ASIAN
2006
Springer
118views Algorithms» more  ASIAN 2006»
15 years 5 months ago
An Approach to Formal Verification of Arithmetic Functions in Assembly
Abstract. It is customary to write performance-critical parts of arithmetic functions in assembly: this enables finely-tuned algorithms that use specialized processor instructions....
Reynald Affeldt, Nicolas Marti
CAV
2006
Springer
113views Hardware» more  CAV 2006»
15 years 5 months ago
Causal Atomicity
Atomicity-checking is a powerful approach for finding subtle concurrency errors in shared-memory multithreaded code. The goal is to verify that certain code sections appear to exec...
Azadeh Farzan, P. Madhusudan