1278 search results - page 235 / 256 » Programming Sensor Networks Using Abstract Regions |
109
click to vote
MP
2011
14 years 4 months ago
2011
Abstract. Using the least element solution of the P0 and Z matrix linear complementarity problem (LCP), we define an implicit solution function for linear complementarity constrai...
113
click to vote
CPAIOR
2009
Springer
15 years 8 months ago
2009
Springer
In this abstract, we present a rule-based modelling language for constraint programming, called Rules2CP [1], and a library PKML for modelling packing problems. Unlike other modell...
109
click to vote
ICCAD
1995
IEEE
15 years 5 months ago
1995
IEEE
Abstract -- Telecommunication network management applications often require application-specific ICs that use large dynamically allocated stored data structures. Currently availab...
106
Voted
DAC
2002
ACM
16 years 2 months ago
2002
ACM
Tools and a design methodology have been developed to support partial run-time reconfiguration of FPGA logic on the Field Programmable Port Extender. High-speed Internet packet pr...
IANDC
2008
15 years 2 months ago
2008
We develop a behavioural theory of distributed programs in the presence of failures such as nodes crashing and links breaking. The framework we use is that of D, a language in whi...