Sciweavers

7840 search results - page 544 / 1568
» On generalized Ramsey numbers
Sort
View
ASYNC
1997
IEEE
103views Hardware» more  ASYNC 1997»
15 years 10 months ago
Efficient Timing Analysis Algorithms for Timed State Space Exploration
This paper presents new timing analysis algorithms for efficient state space exploration during timed circuit synthesis. Timed circuits are a class of asynchronous circuits that i...
Wendy Belluomini, Chris J. Myers
PPSN
2000
Springer
15 years 10 months ago
Interacting Trajectories in Design Space and Niche Space: A Philosopher Speculates About Evolution
Abstract. There are evolutionary trajectories in two different but related spaces, design space and niche space. Coevolution occurs in parallel trajectories in both spaces, with co...
Aaron Sloman
SAIG
2000
Springer
15 years 10 months ago
Fragmental Specialization
Traditional offline program specialization relies on staging of a computation into two levels, static and dynamic. We present a generalization thereof where the static input data o...
Simon Helsen, Peter Thiemann
223
Voted
CIKM
1995
Springer
15 years 10 months ago
Research Problems in Data Warehousing
The topic of data warehousing encompasses architectures, algorithms, and tools for bringing together selected data from multiple databases or other information sources into a sing...
Jennifer Widom
UML
2000
Springer
15 years 10 months ago
A Radical Revision of UML's Role Concept
UML's current definition of the role concept comes with many problems, not the least being that it is difficult to understand and communicate. This paper proposes a revised UM...
Friedrich Steimann