Sciweavers

4759 search results - page 890 / 952
» Software Development Based on Software Pattern Evolution
Sort
View
134
Voted
FMICS
2008
Springer
15 years 3 months ago
Extending Structural Test Coverage Criteria for Lustre Programs with Multi-clock Operators
Lustre is a formal synchronous declarative language widely used for modeling and specifying safety-critical applications in the elds of avionics, transportation or energy productio...
Virginia Papailiopoulou, Laya Madani, Lydie du Bou...
FPL
2008
Springer
207views Hardware» more  FPL 2008»
15 years 3 months ago
Bitstream compression techniques for Virtex 4 FPGAs
This paper examines the opportunity of using compression for accelerating the (re)configuration of FPGA devices, focusing on the choice of compression algorithms, and their hardwa...
Radu Stefan, Sorin Dan Cotofana
BILDMED
2007
148views Algorithms» more  BILDMED 2007»
15 years 3 months ago
Bayesian Vessel Extraction for Planning of Radiofrequency-Ablation
The software-assisted planning of radiofrequency-ablation of liver tumors calls for robust and fast methods to segment the tumor and surrounding vascular structures from clinical d...
Stephan Zidowitz, Johann Drexl, Tim Kröger, T...
DGO
2007
104views Education» more  DGO 2007»
15 years 3 months ago
Advancing return on investment analysis for government information technology
The Center for Technology in Government (CTG) in collaboration with SAP, the business software solutions provider to public sector organizations, conducted a research project focu...
Anthony M. Cresswell, Theresa A. Pardo, G. Brian B...
DGO
2008
114views Education» more  DGO 2008»
15 years 3 months ago
Towards a business continuity information network for rapid disaster recovery
Crisis Management and Disaster Recovery have gained immense importance in the wake of recent man and nature inflicted calamities such as the terrorist attacks of September 11th 20...
Khalid Saleem, Steven Luis, Yi Deng, Shu-Ching Che...