Sciweavers

3335 search results - page 354 / 667
» A Unified Approach to Modeling and Programming
Sort
View
CAV
2006
Springer
165views Hardware» more  CAV 2006»
15 years 10 months ago
Bounded Model Checking of Concurrent Data Types on Relaxed Memory Models: A Case Study
Many multithreaded programs employ concurrent data types to safely share data among threads. However, highly-concurrent algorithms for even seemingly simple data types are difficul...
Sebastian Burckhardt, Rajeev Alur, Milo M. K. Mart...
CIKM
2008
Springer
15 years 8 months ago
Academic conference homepage understanding using constrained hierarchical conditional random fields
We address the problem of academic conference homepage understanding for the Semantic Web. This problem consists of three labeling tasks - labeling conference function pages, func...
Xin Xin, Juanzi Li, Jie Tang, Qiong Luo
JUCS
2008
186views more  JUCS 2008»
15 years 6 months ago
A Safe Dynamic Adaptation Framework for Aspect-Oriented Software Development
: One focus of current software development is the re-use of components in the construction of systems. Software Adaptation facilitates the consequent need to adapt these component...
Miguel Ángel Pérez Toledano, Amparo ...
VTS
2006
IEEE
101views Hardware» more  VTS 2006»
16 years 19 days ago
Design Optimization for Robustness to Single Event Upsets
Abstract: An optimization algorithm for the design of combinational circuits that are robust to single-event upsets (SEUs) is described. A simple, highly accurate model for the SEU...
Quming Zhou, Mihir R. Choudhury, Kartik Mohanram
WSC
2008
15 years 9 months ago
Simulation and optimization in a health center in Medellin, Colombia
Simulation has been widely applied to health care cases in numerous countries. In Colombia, these applications are scarce. We use a systemic approach, discrete event simulation, s...
Karol Perez, Laura Cardona, Sebastian Gomez, Tomas...