1597 search results - page 162 / 320 » A Design Method for Object-Oriented Programming |
122
click to vote
CAL
2006
15 years 3 months ago
2006
Multiple core designs have become commonplace in the processor market, and are hence a major focus in modern computer architecture research. Thus, for both product development and ...
140
click to vote
CODES
2008
IEEE
15 years 5 months ago
2008
IEEE
Using traditional software profiling to optimize embedded software in an MPSoC design is not reliable. With multiple processors running concurrently and programs interacting, trad...
124
click to vote
ESOP
2005
Springer
15 years 8 months ago
2005
Springer
Abadi-Leino Logic is a Hoare-calculus style logic for a simple imperative and object-based language where every object comes with its own method suite. Consequently, methods need t...
137
click to vote
IFL
1998
Springer
15 years 7 months ago
1998
Springer
Abstract. Sac (Single Assignment C) is a strict, purely functional programming language primarily designed with numerical applications in mind. Particular emphasis is on efficient ...
118
click to vote
HICSS
2007
IEEE
15 years 9 months ago
2007
IEEE
— All large vendors of standard business software have announced to move to service oriented architecture. They claim benefits for their customers with regard to agility and ope...