7202 search results - page 1058 / 1441 » Software System Engineering: A Tutorial |
169
click to vote
KI
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. Rule-based programming paradigm is omnipresent in number of engineering domains. However, there are some fundamental semantical differences between it, and classic progr...
206
click to vote
SEW
2006
IEEE
16 years 23 days ago
2006
IEEE
Complex software systems typically involve features like time, concurrency and probability, where probabilistic computations play an increasing role. It is challenging to formaliz...
160
Voted
CODES
2005
IEEE
16 years 12 days ago
2005
IEEE
Sensor network applications face continuously changing environments, which impose varying processing loads on the sensor node. This paper presents an online control method which a...
167
click to vote
CODES
2005
IEEE
16 years 12 days ago
2005
IEEE
Code density is an important issue in memory constrained systems. Some RISC processor, e.g. the THUMB extension in the ARM processor, supports aggressive code size reduction even ...
185
click to vote
TLDI
2005
ACM
16 years 10 days ago
2005
ACM
Atomicity is a fundamental correctness property in multithreaded programs. This paper presents an algorithm for verifying atomicity via type inference. The underlying type system ...