13489 search results - page 639 / 2698 » Operating System |
228
click to vote
TIM
2010
15 years 1 months ago
2010
Abstract--The most popular representative devices of reconfigurable computing are the Field Programmable Gate Arrays (FPGAs). A promising feature of an FPGA is the ability to reuse...
172
click to vote
AUSAI
2003
Springer
16 years 10 days ago
2003
Springer
Most of the theories on formalising intention interpret it as a unary modal operator in Kripkean semantics, which gives it a monotonic look. We argue that policy-based intentions [...
171
click to vote
FORMATS
2003
Springer
16 years 10 days ago
2003
Springer
Abstract. The verification formalism / modeling and simulation language hybrid Chi is defined. The semantics of hybrid Chi is formally specified using Structured Operational Sem...
177
click to vote
DAC
2005
ACM
16 years 8 months ago
2005
ACM
eriodically time-varying (LPTV) abstractions are useful for a variety of communication and computer subsystems. In this paper, we present a novel operator-based model-order reduct...
274
click to vote
SIGMOD
2007
ACM
16 years 7 months ago
2007
ACM
We present a system, ConEx, for monitoring query execution in a relational database management system. ConEx offers a unified view of query execution, providing continuous visual ...