Sciweavers

3357 search results - page 324 / 672
» Controlling Complexity
Sort
View
TACAS
1998
Springer
131views Algorithms» more  TACAS 1998»
15 years 11 months ago
Detecting Races in Relay Ladder Logic Programs
Relay Ladder Logic (RLL) [4] is a programming language widely used for complex embedded control applications such as manufacturing and amusement park rides. The cost of bugs in RLL...
Alexander Aiken, Manuel Fähndrich, Zhendong S...
AHS
2007
IEEE
251views Hardware» more  AHS 2007»
15 years 10 months ago
System Level Modelling of Reconfigurable FFT Architecture for System-on-Chip Design
In the system-on-chip (SoC) era, the growing number of functionalities included on a single chip requires the development of new design methodologies to keep the design complexity...
Ali Ahmadinia, Balal Ahmad, Tughrul Arslan
BPM
2008
Springer
136views Business» more  BPM 2008»
15 years 8 months ago
From Paper Based Clinical Practice Guidelines to Declarative Workflow Management
We present a field study of oncology workflow, involving doctors, nurses and pharmacists at Danish hospitals and discuss the obstacles, enablers and challenges for the use of compu...
Karen Marie Lyng, Thomas Hildebrandt, Raghava Rao ...
FTEDA
2006
113views more  FTEDA 2006»
15 years 6 months ago
Languages and Tools for Hybrid Systems Design
The explosive growth of embedded electronics is bringing information and control systems of increasing complexity to every aspects of our lives. The most challenging designs are s...
Luca P. Carloni, Roberto Passerone, Alessandro Pin...
SP
1998
IEEE
106views Security Privacy» more  SP 1998»
15 years 11 months ago
Understanding Java Stack Inspection
Current implementations of Java make security decisions by searching the runtime call stack. These systems have attractive security properties, but they have been criticized as be...
Dan S. Wallach, Edward W. Felten