18429 search results - page 457 / 3686 » Typing dynamic typing |
244
click to vote
EMSOFT
2008
Springer
15 years 9 months ago
2008
Springer
Runtime property checking (as implemented in tools like Purify or Valgrind) checks whether a program execution satisfies a property. Active property checking extends runtime check...
206
click to vote
GLVLSI
2003
IEEE
16 years 1 months ago
2003
IEEE
Clock-delayed (CD) domino is a dynamic logic family developed to provide both inverting and non-inverting logic on single-rail gates. It is self-timed and can be easily pipelined ...
199
click to vote
WECWIS
2002
IEEE
16 years 18 days ago
2002
IEEE
This paper presents a solution to achieve dynamic Inter-enterprise workflow management using the eservices provided by collaborative e-business enterprises. E-services are distrib...
170
click to vote
HPCNCS
2007
15 years 9 months ago
2007
Abstract—As the bandwidth of networks is increasing exponentially, the computational cost to simulate such type of networks is also growing in a similar fashion. This paper prese...
189
click to vote
ALIFE
2006
15 years 7 months ago
2006
This paper investigates the evolution of autonomous agents that solve a memorydependent counting task. Two types of neurocontrollers are evolved: networks of McCulloch-Pitts neuro...