Sciweavers

3365 search results - page 455 / 673
» Digital System Design: Architectures, Methods and Tools
Sort
View
HICSS
2000
IEEE
131views Biometrics» more  HICSS 2000»
15 years 11 months ago
Workflow-based Process Monitoring and Controlling - Technical and Organizational Issues
Workflow management systems enable the exact and timely analysis of automated business processes through the analysis of the logged audit trail data. Within the research project C...
Michael zur Muehlen, Michael Rosemann
FPGA
2007
ACM
150views FPGA» more  FPGA 2007»
16 years 21 days ago
FPGA-friendly code compression for horizontal microcoded custom IPs
Shrinking time-to-market and high demand for productivity has driven traditional hardware designers to use design methodologies that start from high-level languages. However, meet...
Bita Gorjiara, Daniel Gajski
EMSOFT
2011
Springer
14 years 6 months ago
From boolean to quantitative synthesis
Motivated by improvements in constraint-solving technology and by the increase of routinely available computational power, partial-program synthesis is emerging as an effective a...
Pavol Cerný, Thomas A. Henzinger
ICRA
2000
IEEE
103views Robotics» more  ICRA 2000»
15 years 11 months ago
An Eigenscrew Analysis of Mechanism Compliance
Determination of the magnitudes and directions of the constraints of a mechanical system can be achieved by finding the basis of the system’s characteristic compliance matrix. ...
P. L. McAllister, R. E. Ellis
WWW
2007
ACM
16 years 7 months ago
Extending WebML towards semantic web
Available methodologies for developing Sematic Web applications do not fully exploit the whole potential deriving from interaction with ontological data sources. Here we introduce...
Federico Michele Facca, Marco Brambilla