4377 search results - page 701 / 876 » Application Driven Software Development |
118
click to vote
POPL
2010
ACM
15 years 11 months ago
2010
ACM
Many large software systems originate from untyped scripting language code. While good for initial development, the lack of static type annotations can impact code-quality and per...
119
click to vote
VMCAI
2009
Springer
15 years 8 months ago
2009
Springer
Abstract There is an intimate link between program structure and behaviour. Exploiting this link to phrase program correctness problems in terms of the structural properties of a p...
130
click to vote
RTSS
2009
IEEE
15 years 8 months ago
2009
IEEE
—Memory accesses form an important source of timing unpredictability. Timing analysis of real-time embedded software thus requires bounding the time for memory accesses. Multipro...
145
Voted
ICDCSW
2009
IEEE
15 years 8 months ago
2009
IEEE
Contemporary computing infrastructure, such as networking stacks, OS and middleware, are made up of layers of software functionality that have evolved over decades to support the ...
CISIS
2007
IEEE
15 years 8 months ago
2007
IEEE
In this paper, a flexible middleware system for omni-directional video transmission for various teleconferencing applications is introduced. The omni-directional image has more ad...