10575 search results - page 1837 / 2115 » Programming Languages |
162
Voted
KBSE
2006
IEEE
16 years 19 days ago
2006
IEEE
Software model checkers can be applied directly to single-process programs, which typically are multithreaded. Multi-process applications cannot be model checked directly. While m...
182
click to vote
ANCS
2007
ACM
15 years 10 months ago
2007
ACM
Programming specialized network processors (NPU) is inherently difficult. Unlike mainstream processors where architectural features such as out-of-order execution and caches hide ...
184
click to vote
ECBS
2007
IEEE
16 years 29 days ago
2007
IEEE
Model-driven engineering (MDE) techniques are increasingly being used to address many of the development and operational lifecycle concerns of large-scale component-based systems....
178
click to vote
HPDC
2009
IEEE
15 years 4 months ago
2009
IEEE
In sporting event transmissions of international significance, broadcasting in each country is carried out by the owner of the rights for that particular country. The output signa...
241
click to vote
Book
"Object-Oriented Software Composition adopts the viewpoint that object-oriented technology is essentially about composing flexible software applications from software componen...