Sciweavers

7827 search results - page 1430 / 1566
» time 2007
Sort
View
JUCS
2007
95views more  JUCS 2007»
15 years 6 months ago
Using Place Invariants and Test Point Placement to Isolate Faults in Discrete Event Systems
: This paper describes a method of using Petri net P-invariants in system diagnosis. To model this process a net oriented fault classification is presented. Hence, the considered d...
Iwan Tabakow
JUCS
2007
122views more  JUCS 2007»
15 years 6 months ago
Creating Links into the Future
: We are approaching an era where research materials will be stored more and more as digital resources on the World Wide Web. This of course will enable easier access to online pub...
Muhammad Tanvir Afzal, Narayanan Kulathuramaiyer, ...
KBS
2007
74views more  KBS 2007»
15 years 6 months ago
Representation and processing of information related to real world events
Event based analysis plays an important role in reducing the latency of information delivery in an event driven world. Also, the perception of an ‘event’ by a user is at a hig...
Aparna Nagargadde, V. Sridhar, Krithi Ramamritham
LISP
2007
74views more  LISP 2007»
15 years 6 months ago
Improving the lazy Krivine machine
Krivine presents the K machine, which produces weak head normal form results. Sestoft introduces several call-by-need variants of the K machine that implement result sharing via pu...
Daniel P. Friedman, Abdulaziz Ghuloum, Jeremy G. S...
MAM
2007
90views more  MAM 2007»
15 years 6 months ago
Clustered indexing for branch predictors
ct 8 As a result of resource limitations, state in branch predictors is frequently shared between uncorrelated branches. This interference 9 can significantly limit prediction acc...
Veerle Desmet, Hans Vandierendonck, Koen De Bossch...
« Prev « First page 1430 / 1566 Last » Next »