Sciweavers

3400 search results - page 160 / 680
» tools 2008
Sort
View
TCAD
2008
114views more  TCAD 2008»
15 years 6 months ago
RUMBLE: An Incremental Timing-Driven Physical-Synthesis Optimization Algorithm
Physical synthesis tools are responsible for achieving timing closure. Starting with 130nm designs, multiple cycles are required to cross the chip, making latch placement critical...
David A. Papa, Tao Luo, Michael D. Moffitt, Chin-N...
TITB
2002
93views more  TITB 2002»
15 years 6 months ago
Remote processing server for ECG-based clinical diagnosis support
Abstract--In this paper, we present the development of a remote server that provides a user-friendly access to advanced electrocardiographic (ECG) signal processing techniques. The...
José García, Ignacio Martínez...
ENTCS
2008
90views more  ENTCS 2008»
15 years 6 months ago
Formal Verification of Websites
In this paper, a model for websites is presented. The model is well-suited for the formal verification of dynamic as well as static properties of the system. A website is defined ...
Sonia Flores, Salvador Lucas, Alicia Villanueva
COMAD
2009
15 years 7 months ago
TRANS: Schema-Aware Mapping of OWL Ontologies into Relational Databases
An ontology is an explicit specification of shared conceptualization. The Web Ontology Language (OWL) is a family of knowledge representation languages for authoring ontologies, a...
Saurabh Kejriwal, N. S. Narayanaswamy
IJMC
2008
103views more  IJMC 2008»
15 years 6 months ago
Enhancing mobile advertising via Bluetooth technology
: This paper presents a Multimedia Message Transmitter Tool (MMTT) that provides businesses with the opportunity to use Bluetooth wireless connectivity delivering the relevant info...
Sahar A. Idwan, Suad Alramouni, Mosleh Al-Adhaileh...