Sciweavers

314 search results - page 31 / 63
» Integrating Architecture Description Languages with a Standa...
Sort
View
AROBOTS
2008
146views more  AROBOTS 2008»
13 years 7 months ago
Biologically-inspired 3D grasp synthesis based on visual exploration
Object grasping is a typical human ability which is widely studied from both a biological and an engineering point of view. This paper presents an approach to grasp synthesis inspi...
Gabriel Recatalá, Eris Chinellato, Angel P....
ASE
2008
135views more  ASE 2008»
13 years 7 months ago
Deriving event-based transition systems from goal-oriented requirements models
Goal-oriented methods are increasingly popular for elaborating software requirements. They offer systematic support for incrementally building intentional, structural, and operati...
Emmanuel Letier, Jeff Kramer, Jeff Magee, Sebasti&...
BMCBI
2010
169views more  BMCBI 2010»
13 years 7 months ago
eCOMPAGT integrates mtDNA: import, validation and export of mitochondrial DNA profiles for population genetics, tumour dynamics
Background: Mitochondrial DNA (mtDNA) is widely being used for population genetics, forensic DNA fingerprinting and clinical disease association studies. The recent past has uncov...
Hansi Weißensteiner, Sebastian Schönher...
FPL
2001
Springer
107views Hardware» more  FPL 2001»
14 years 1 days ago
Gambit: A Tool for the Simultaneous Placement and Detailed Routing of Gate-Arrays
In this paper we present a new method of integrating the placement and routing stages in the physical design of channel-based architectures, and present the first implementation o...
John Karro, James P. Cohoon
FDL
2003
IEEE
14 years 26 days ago
Using Symbolic Simulation for Bounded Property Checking
Assuring correctness of digital designs is one of the major tasks in the system design flow. Formal methods have been proposed to accompany commonly used simulation approaches. I...
Jürgen Ruf, Prakash Mohan Peranandam, Thomas ...