15253 search results - page 2452 / 3051 » Integer-Programming Software Systems |
191
click to vote
ARCS
2004
Springer
16 years 19 days ago
2004
Springer
: Mechatronic units are characterized by a complex interaction of functions from mechanics, electronics, communication and computer systems. These different fields of technology as...
160
click to vote
BIRTHDAY
2004
Springer
16 years 19 days ago
2004
Springer
: This paper studies the composition of modules that can hide information, over a very general class of logical systems called inclusive institutions. Two semantics are given for c...
193
click to vote
CBSE
2004
Springer
16 years 19 days ago
2004
Springer
Abstract. Long running applications often need to adapt due to changing requirements or changing environment. Typically, such adaptation is performed by dynamically adding or remov...
182
click to vote
CC
2004
Springer
16 years 19 days ago
2004
Springer
This paper concerns static-analysis algorithms for analyzing x86 executables. The aim of the work is to recover intermediate representations that are similar to those that can be c...
209
click to vote
CC
2004
Springer
16 years 19 days ago
2004
Springer
When a compiler translates a procedure, it must lay out the procedure’s stack frame in a way that respects the calling convention. Many compilers respect the convention either by...