Sciweavers

856 search results - page 27 / 172
» A New Approach to Modular Database Systems
Sort
View
ENTCS
2002
91views more  ENTCS 2002»
13 years 8 months ago
Petri nets with causal time for system verification
We present a new approach to the modelling of time constrained systems. It is based on untimed high-level Petri nets using the concept of causal time. With this concept, the progr...
Cécile Bui Thanh, Hanna Klaudel, Franck Pom...
ICCAD
1997
IEEE
162views Hardware» more  ICCAD 1997»
14 years 25 days ago
Application-driven synthesis of core-based systems
We developed a new hierarchical modular approach for synthesis of area-minimal core-based data-intensive systems. The optimization approach employs a novel global least-constraini...
Darko Kirovski, Chunho Lee, Miodrag Potkonjak, Wil...
ICRA
2008
IEEE
149views Robotics» more  ICRA 2008»
14 years 3 months ago
A hybrid actuation approach for human-friendly robot design
Abstract— Safety is a critical characteristic for robots designed to operate in human environments. This paper presents the concept of hybrid actuation for the development of hum...
Dongjun Shin, Irene Sardellitti, Oussama Khatib
FBIT
2007
IEEE
14 years 3 months ago
Developmental Evaluation in Genetic Programming: A Position Paper
—Standard genetic programming genotypes are generally highly disorganized and poorly structured, with little code replication. This is also true of existing developmental genetic...
Tuan Hao Hoang, Robert I. McKay, Daryl Essam, Nguy...
DOLAP
2004
ACM
14 years 2 months ago
Cardinality-based inference control in OLAP systems: an information theoretic approach
We address the inference control problem in data cubes with some data known to users through external knowledge. The goal of inference controls is to prevent exact values of sensi...
Nan Zhang 0004, Wei Zhao, Jianer Chen