3514 search results - page 104 / 703 » Evolving Specification Engineering |
ICSE
2010
IEEE-ACM
13 years 10 months ago
2010
IEEE-ACM
The trend towards multicore processors and graphic processing units is increasing the need for software that can take advantage of parallelism. Writing correct parallel programs u...
POPL
2005
ACM
14 years 8 months ago
2005
ACM
While a typical software component has a clearly specified (static) interface in terms of the methods and the input/output types they support, information about the correct sequen...
ICCD
1993
IEEE
14 years 4 days ago
1993
IEEE
for a state machine which is an abstraction for an existing sequential circuit, which can be useful for redesign or engineering change. The generated state machines can be further ...
FLAIRS
2008
13 years 10 months ago
2008
A declarative rule inference engine can be very useful for modern distributed or heterogeneous applications, if it can be configured for multiple semantics and evaluation strategi...
SIGCOMM
1994
ACM
14 years 2 days ago
1994
ACM
The Network Time Protocol (NTP) is widely deployed in the Internet to synchronize computer clocks to each other and to international standards via telephone modem, radio and satel...