2902 search results - page 521 / 581 » A database of local fields |
CAV
2000
Springer
14 years 1 months ago
2000
Springer
Abstract. Any formalmethodor tool is almostcertainlymoreoftenapplied in situationswheretheoutcomeis failure(acounterexample)rather than success (a correctness proof). We present a ...
DATE
1999
IEEE
14 years 1 months ago
1999
IEEE
In this paper, we present a system synthesis algorithm, called MOCSYN, which partitions and schedules embedded system specifications to intellectual property cores in an integrate...
GI
1998
Springer
14 years 29 days ago
1998
Springer
The IMB Jena Image Library of Biological Macromolecules (http://www.imb-jena.de/IMAGE.html) is a freely accessible Internet archive with three-dimensional (3D) structural informat...
GI
1998
Springer
14 years 29 days ago
1998
Springer
Computing aggregates over selected categories of multidimensional discrete data (MDD) cubes is the core operation of many on-line analytical processing (OLAP) systems. In order to...
COMPGEOM
1996
ACM
14 years 26 days ago
1996
ACM
In this paper we show how to traverse a subdivision and to report all cells, edges and vertices, without making use of mark bits in the structure or a stack. We do this by perform...