Sciweavers

2950 search results - page 303 / 590
» Computing with Infinitely Many Processes
Sort
View
ICCD
2004
IEEE
106views Hardware» more  ICCD 2004»
16 years 3 months ago
A New Statistical Optimization Algorithm for Gate Sizing
— In this paper, we approach the gate sizing problem in VLSI circuits in the context of increasing variability of process and circuit parameters as technology scales into the nan...
Murari Mani, Michael Orshansky
FOSSACS
2010
Springer
16 years 1 months ago
Parameterised Multiparty Session Types
For many application-level distributed protocols and parallel algorithms, the set of participants, the number of messages or the interaction structure are only known at run-time. T...
Nobuko Yoshida, Pierre-Malo Deniélou, Andi ...
HICSS
2009
IEEE
178views Biometrics» more  HICSS 2009»
16 years 1 months ago
Applying Multi-Layered Analysis Framework on the Public Sector ICT Provision: An Illustration from a Municipal Wireless Network
As technology develops, local governments are increasingly becoming involved in providing municipal wireless service. However, many obstacles exist in municipal wireless provision...
Myungjae Kwak, Thomas A. Horan, Hana Oh
SSDBM
2009
IEEE
166views Database» more  SSDBM 2009»
16 years 1 months ago
Design and Implementation of Metadata System in PetaShare
As the size of scientific and commercial datasets grows, it becomes imperative that an expressive metadata framework to be developed to facilitate access to the semantics of the d...
Xinqi Wang, Tevfik Kosar
SARA
2009
Springer
16 years 1 months ago
Automatically Enhancing Constraint Model Instances during Tailoring
Tailoring solver-independent constraint instances to target solvers is an important component of automated constraint modelling. We augment the tailoring process by a set of enhan...
Andrea Rendl, Ian Miguel, Ian P. Gent, Christopher...