Sciweavers

622 search results - page 111 / 125
» Specifying Functional and Timing Behavior for Real-Time Appl...
Sort
View
LCR
1998
Springer
119views System Software» more  LCR 1998»
15 years 4 months ago
QoS Aspect Languages and Their Runtime Integration
Abstract. Distributedobject middleware, suchas CORBA, hides systemand network-speci c characteristics of objects behind functional interface speci cations. This simpli es developme...
Joseph P. Loyall, David E. Bakken, Richard E. Scha...
CAV
2001
Springer
80views Hardware» more  CAV 2001»
15 years 3 months ago
Transformation-Based Verification Using Generalized Retiming
In this paper we present the application of generalized retiming for temporal property checking. Retiming is a structural transformation that relocates registers in a circuit-based...
Andreas Kuehlmann, Jason Baumgartner
107
Voted
VALUETOOLS
2006
ACM
167views Hardware» more  VALUETOOLS 2006»
15 years 5 months ago
Detailed cache simulation for detecting bottleneck, miss reason and optimization potentialities
Cache locality optimization is an efficient way for reducing the idle time of modern processors in waiting for needed data. This kind of optimization can be achieved either on the...
Jie Tao, Wolfgang Karl
86
Voted
APWEB
2005
Springer
15 years 5 months ago
Automatic Runtime Validation and Correction of the Navigational Design of Web Sites
Abstract. Essential to an audience driven website design philosophy is the organization of information and functionality according to the requirements of the different audience cla...
Sven Casteleyn, Irene Garrigós, Olga De Tro...
TWC
2008
125views more  TWC 2008»
14 years 11 months ago
Packet level performance analysis in wireless user-relaying networks
In this paper, the impact of user relaying on the behavior of a relay node, which acts as the source node at the same time, is analyzed in a wireless relay network at the packet le...
Jun Cai, Attahiru Sule Alfa, Pinyi Ren, Xuemin She...