1156 search results - page 101 / 232 » The PENG System: Practice and Experience |
KBSE
2009
IEEE
15 years 6 months ago
2009
IEEE
Effect systems are important for reasoning about the side effects of a program. Although effect systems have been around for decades, they have not been widely adopted in practice...
87
Voted
MODELS
2009
Springer
15 years 5 months ago
2009
Springer
A well known challenge in the formal methods domain is to improve their integration with practical engineering methods. In the context of embedded systems, model checking requires ...
ECOOP
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. An important application of unique object references is safe and efficient message passing in concurrent object-oriented programming. However, to prevent the ill effects...
ICIP
2000
IEEE
16 years 26 days ago
2000
IEEE
The enhancement of compressed video is considered. We present a general algorithm for processing the compressed data, with three variants of the algorithm having practical applica...
100
click to vote
XPU
2007
Springer
15 years 5 months ago
2007
Springer
This research explored aspects of agile teamwork initiatives associated with positive socio-psychological phenomena, with a focus on phenomena outside the scope of traditional mana...