Sciweavers

5214 search results - page 814 / 1043
» The Online Specialization Problem
Sort
View
DAC
1999
ACM
15 years 11 months ago
Test Generation for Gigahertz Processors Using an Automatic Functional Constraint Extractor
As the sizes of general and special purpose processors increase rapidly, generating high quality manufacturing tests which can be run at native speeds is becoming a serious proble...
Raghuram S. Tupuri, Arun Krishnamachary, Jacob A. ...
WACC
1999
ACM
15 years 11 months ago
Metaphorical representation in collaborative software engineering
a useful abstract representation is fundamental to solving many difficult problems in software engineering. In order to better understand how representations are actually used in ...
James D. Herbsleb
WACC
1999
ACM
15 years 11 months ago
Interoperability as a means of articulation work
The interoperability of systems to support cooperative work requires moving beyond purely technical issues; it also concerns the means and practices that users adopt to articulate...
Carla Simone, Gloria Mark, Dario Giubbilei
IPPS
1999
IEEE
15 years 11 months ago
A Transformational Framework for Skeletal Programs: Overview and Case Study
A structured approach to parallel programming allows to construct applications by composing skeletons, i.e., recurring patterns of task- and data-parallelism. First academic and co...
Sergei Gorlatch, Susanna Pelagatti
COMPULOG
1999
Springer
15 years 11 months ago
Decomposable Constraints
Many constraint satisfaction problems can be naturally and efficiently modelled using non-binary constraints like the “all-different” and “global cardinality” constraints...
Ian P. Gent, Kostas Stergiou, Toby Walsh