234 search results - page 37 / 47 » Examples of Termination |
133
click to vote
TII
2010
14 years 8 months ago
2010
Behavior, Interaction, Priorities (BIP) is a component framework for constructing systems from a set of atomic components by using two kinds of composition operators: interactions ...
112
Voted
ICDE
2011
IEEE
14 years 5 months ago
2011
IEEE
— Enterprise database systems handle a variety of diverse query workloads that are of different importance to the business. For example, periodic reporting queries are usually mi...
132
click to vote
DAGSTUHL
1996
15 years 3 months ago
1996
A partial evaluator, given a program and a known "static" part of its input data, outputs a specialised or residual program in which computations depending only on the st...
92
Voted
ITC
2003
IEEE
15 years 7 months ago
2003
IEEE
The use of AC coupled interconnects to provide communication paths between devices is increasing. The existing IEEE 1149.1 boundary scan standard [1] (JTAG) has limitations that h...
146
Voted
PERCOM
2005
ACM
16 years 1 months ago
2005
ACM
Unique and challenging security problems arise due to the scarcity of computational, storage, and power resources in the low-cost pervasive computing environment. Particularly rel...