1604 search results - page 227 / 321 » Development Separation in Lambda-Calculus |
107
Voted
BIRTHDAY
2008
Springer
15 years 2 months ago
2008
Springer
e [43] is the first paper on final, observational semantics in abstract data types, and the main reference for one of the MoC contributed papers in this volume. It presented severa...
120
click to vote
CBSE
2008
Springer
15 years 2 months ago
2008
Springer
Current software component models insufficiently reflect the different stages of component life-cycle, which involves design, implementation, deployment, and runtime. Therefore, re...
150
click to vote
AMFG
2005
IEEE
15 years 2 months ago
2005
IEEE
Non-rigid 3D shape recovery is an inherently ambiguous problem. Given a specific rigid motion, different non-rigid shapes can be found that fit the measurements. To solve this am...
102
click to vote
DATE
2005
IEEE
15 years 2 months ago
2005
IEEE
This paper reports a novel simulation methodology for analysis and prediction of substrate noise impact on analog / RF circuits taking into account the role of the parasitic resis...
110
Voted
ECLIPSE
2007
ACM
15 years 2 months ago
2007
ACM
Programmers often copy and paste code so that they can reuse the existing code to complete a similar task. Many times, modifications to the newly pasted code include renaming all ...