3239 search results - page 492 / 648 » A Logical Process Calculus |
108
click to vote
SAINT
2003
IEEE
15 years 8 months ago
2003
IEEE
Service discovery problem has recently been drawing much attention from researchers and practitioners. Jini, SLP, and UPnP are among the few emerging service discovery protocols. ...
125
click to vote
VTS
2003
IEEE
15 years 8 months ago
2003
IEEE
: This paper presents a novel, low cost technique based on implications to identify untestable bridging faults in sequential circuits. Sequential symbolic simulation [1] is first p...
112
click to vote
DEBS
2003
ACM
15 years 8 months ago
2003
ACM
Publish/subscribe (pub/sub) middleware facilitates loosely coupled cooperation and fits well the needs of spontaneous, ad-hoc interaction. However, newly started mobile applicati...
128
click to vote
AC
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. As semiconductor technology strides towards billions of transistors on a single die, problems concerned with deep sub-micron process features and design productivity call...
94
Voted
FPL
2003
Springer
15 years 8 months ago
2003
Springer
This paper describes a lightweight Field Programmable Gate Array (FPGA) circuit design that supports the simultaneous programming of multiple devices at different locations throug...