Sciweavers

6528 search results - page 1046 / 1306
» On the architecture of software component systems
Sort
View
ICDAR
1999
IEEE
15 years 11 months ago
Character and Document Research in the Open Mind Initiative
We describe the Open Mind Initiative, a framework for large-scale collaborative efforts in building components of "intelligent" systems that address common-sense reasoni...
David G. Stork
WSC
2007
15 years 9 months ago
Emergency departments nurse allocation to face a pandemic influenza outbreak
This study proposes a nurse allocation policy to manage patient overflow during a pandemic influenza outbreak. The objective is to minimize the number of patients waiting in queue...
Florentino Rico, Ehsan Salari, Grisselle Centeno
FM
2008
Springer
171views Formal Methods» more  FM 2008»
15 years 8 months ago
Assume-Guarantee Verification for Interface Automata
Interface automata provide a formalism capturing the high level interactions between software components. Checking compatibility, and other safety properties, in an automata-based ...
Michael Emmi, Dimitra Giannakopoulou, Corina S. Pa...
FPL
2008
Springer
120views Hardware» more  FPL 2008»
15 years 8 months ago
An FPGA-based implementation of the MINRES algorithm
Due to continuous improvements in the resources available on FPGAs, it is becoming increasingly possible to accelerate floating point algorithms. The solution of a system of linea...
David Boland, George A. Constantinides
CASCON
2007
104views Education» more  CASCON 2007»
15 years 8 months ago
Identifying fault-prone files using static analysis alerts through singular value decomposition
Static analysis tools tend to generate more alerts than a development team can reasonably examine without some form of guidance. In this paper, we propose a technique for leveragi...
Mark Sherriff, Sarah Smith Heckman, Mike Lake, Lau...
« Prev « First page 1046 / 1306 Last » Next »