Sciweavers

2996 search results - page 326 / 600
» Information Modeling in the Time of the Revolution
Sort
View
ISPW
2007
IEEE
16 years 28 days ago
An Algebraic Approach for Managing Inconsistencies in Software Processes,
To produce quality software and evolve them in an economic and timely fashion, enactable software process models are used for regulating development activities with the support of ...
Qiusong Yang, Mingshu Li, Qing Wang, Guowei Yang, ...
HASKELL
2006
ACM
16 years 18 days ago
Strong types for relational databases
Haskell’s type system with multi-parameter constructor classes and functional dependencies allows static (compile-time) computations to be expressed by logic programming on the ...
Alexandra Silva, Joost Visser
ICCS
2004
Springer
16 years 17 hour ago
Using Runtime Measurements and Historical Traces for Acquiring Knowledge in Parallel Applications
Abstract. A new approach for acquiring knowledge of parallel applications regarding resource usage and for searching similarity on workload traces is presented. The main goal is to...
Luciano José Senger, Marcos José San...
IFIP
2004
Springer
16 years 10 hour ago
The Driving Philosophers
We introduce a new synchronization problem in mobile ad-hoc systems: the Driving Philosophers. In this problem, an unbounded number of driving philosophers (processes) access a rou...
Sébastien Baehni, Roberto Baldoni, Rachid G...
ISQED
2003
IEEE
85views Hardware» more  ISQED 2003»
15 years 12 months ago
Interoperability Beyond Design: Sharing Knowledge between Design and Manufacturing
The nature of IC design has is necessarily evolving to a more data-centric design flow in which EDA tools share a common information in a design database without the negative cost...
D. R. Cottrell, T. J. Grebinski