Sciweavers

7058 search results - page 1204 / 1412
» Modelling Business Process Performance
Sort
View
124
Voted
BIBE
2004
IEEE
149views Bioinformatics» more  BIBE 2004»
15 years 5 months ago
Interactive 3D Protein Structure Visualization Using Virtual Reality
Large-scale biomedical data sets of macromolecular structures such as DNA and proteins describe highly complex biomolecular entities which often consist of thousands of atoms and ...
Elke Moritz, Jörg Meyer
DATE
2004
IEEE
97views Hardware» more  DATE 2004»
15 years 5 months ago
A Formal Verification Methodology for Checking Data Integrity
Formal verification techniques have been playing an important role in pre-silicon validation processes. One of the most important points considered in performing formal verificati...
Yasushi Umezawa, Takeshi Shimizu
WSC
2008
15 years 4 months ago
Reducing Emergency Department overcrowding - five patient buffer concepts in comparison
Emergency Department (ED) overcrowding is a common medical care issue in the United States and other developed nations. One major cause of ED crowding are holding patients waiting...
Erik Michael Wilhelm Kolb, Jordan Peck, Sebastian ...
133
Voted
DOLAP
2005
ACM
15 years 3 months ago
Parallel querying of ROLAP cubes in the presence of hierarchies
Online Analytical Processing is a powerful framework for the analysis of organizational data. OLAP is often supported by a logical structure known as a data cube, a multidimension...
Frank K. H. A. Dehne, Todd Eavis, Andrew Rau-Chapl...
CEC
2007
IEEE
15 years 3 months ago
Fitness inheritance in evolutionary and multi-objective high-level synthesis
Abstract—The high-level synthesis process allows the automatic design and implementation of digital circuits starting from a behavioral description. Evolutionary algorithms are v...
Christian Pilato, Gianluca Palermo, Antonino Tumeo...
« Prev « First page 1204 / 1412 Last » Next »