Sciweavers

10707 search results - page 449 / 2142
» Designing executable abstractions
Sort
View
WORDS
2003
IEEE
15 years 11 months ago
Timing Analysis of Optimised Code
Timing analysis is a crucial test for dependable hard real-time systems (DHRTS). The calculation of the worst-case execution time (WCET) is mandatory. As modern compilers are capa...
Raimund Kirner, Peter P. Puschner
CC
2003
Springer
104views System Software» more  CC 2003»
15 years 11 months ago
The Interprocedural Express-Lane Transformation
Abstract. The express-lane transformation isolates and duplicates frequently executed program paths, aiming for better data-flow facts along the duplicated paths. An express-lane ...
David Melski, Thomas W. Reps
DEXA
2003
Springer
134views Database» more  DEXA 2003»
15 years 11 months ago
Concurrent and Real-Time Update of Access Control Policies
Abstract. Access control policies are security policies that govern access to resources. Real-time update of access control policies, that is, updating policies while they are in e...
Indrakshi Ray, Tai Xin
ER
2003
Springer
158views Database» more  ER 2003»
15 years 11 months ago
Analysis of Web Services Composition Languages: The Case of BPEL4WS
Abstract. Web services composition is an emerging paradigm for application integration within and across organizational boundaries. A landscape of languages and techniques for web ...
Petia Wohed, Wil M. P. van der Aalst, Marlon Dumas...
FCCM
2002
IEEE
321views VLSI» more  FCCM 2002»
15 years 11 months ago
Queue Machines: Hardware Compilation in Hardware
Abstract - In this paper, we hypothesize that reconfigurable computing is not more widely used because of the logistical difficulties caused by the close coupling of applications a...
Herman Schmit, Benjamin A. Levine, Benjamin Ylvisa...