Sciweavers

4166 search results - page 246 / 834
» Automating the constraining process
Sort
View
ICCAD
1996
IEEE
80views Hardware» more  ICCAD 1996»
15 years 8 months ago
Generalized constraint generation in the presence of non-deterministic parasitics
In a constraint-drivenlayout synthesisenvironment,parasitic constraints are generated and implemented in each phase of the design process to meet a given set of performance specif...
Edoardo Charbon, Paolo Miliozzi, Enrico Malavasi, ...
EMNLP
2010
15 years 2 months ago
Unsupervised Parse Selection for HPSG
Parser disambiguation with precision grammars generally takes place via statistical ranking of the parse yield of the grammar using a supervised parse selection model. In the stan...
Rebecca Dridan, Timothy Baldwin
PROFES
2004
Springer
15 years 9 months ago
Automatic Measurement at Nokia Mobile Phones: A Case of SDL Based Software Development
Software measurement forms a sound basis for monitoring software development process and software product quality. Implementing software measurement is, however, difficult and crea...
Minna Pikkarainen, Matias Vierimaa, Hannu Tanner, ...
POPL
1999
ACM
15 years 8 months ago
Types for Mobile Ambients
An ambient is a named cluster of processes and subambients, which moves as a group. We describe type systems able to guarantee that certain ambients will remain immobile, and that ...
Luca Cardelli, Andrew D. Gordon
CAISE
2005
Springer
15 years 9 months ago
Developing Adapters for Web Services Integration
The push toward business process automation has generated the need for integrating different enterprise applications involved in such processes. The typical approach to integration...
Boualem Benatallah, Fabio Casati, Daniela Grigori,...