Sciweavers

4708 search results - page 572 / 942
» Generating the Structure of Argument
Sort
View
ICCAD
1994
IEEE
137views Hardware» more  ICCAD 1994»
15 years 11 months ago
Dynamic scheduling and synchronization synthesis of concurrent digital systems under system-level constraints
We present in this paper a novel control synthesis technique for system-level specifications that are better described as a set of concurrent synchronous descriptions, their synch...
Claudionor José Nunes Coelho Jr., Giovanni ...
ICCAD
1994
IEEE
116views Hardware» more  ICCAD 1994»
15 years 11 months ago
Design of heterogeneous ICs for mobile and personal communication systems
{ Mobile and personal communication systems form key market areas for the electronics industry of the nineties. Stringent requirements in terms of exibility, performance and power...
Gert Goossens, Ivo Bolsens, Bill Lin, Francky Catt...
SIGMOD
1989
ACM
153views Database» more  SIGMOD 1989»
15 years 11 months ago
Database Programming in Machiavelli - a Polymorphic Language with Static Type Inference
Machiavelli is a polymorphically typed programming language in the spirit of ML, but supports an extended method of type inferencing that makes its polymorphism more general and a...
Atsushi Ohori, Peter Buneman, Val Tannen
COMPLEX
2009
Springer
15 years 10 months ago
A Comparative Analysis of Specific Spatial Network Topological Models
Creating ensembles of random but "realistic" topologies for complex systems is crucial for many tasks such as benchmark generation and algorithm analysis. In general, exp...
Jun Wang, Gregory M. Provan
COMPLEX
2009
Springer
15 years 10 months ago
Allometric Scaling of Weighted Food Webs
Allometric scaling is an important universal property of metabolic living systems. It also describes the self-similar branching treeliked structures in transportation networks. Thi...
Jiang Zhang