5064 search results - page 606 / 1013 » Recent Developments in Gridsolve |
242
click to vote
OOPSLA
2007
Springer
16 years 28 days ago
2007
Springer
Developing a general component system for a statically typed, object-oriented language is a challenging design problem for two reasons. First, mutually recursive references across...
197
click to vote
PATMOS
2007
Springer
16 years 28 days ago
2007
Springer
—Power consumption has emerged as the premier and most constraining aspect in modern microprocessor and application-specific designs. Gate sizing has been shown to be one of the...
203
click to vote
PPDP
2007
Springer
16 years 28 days ago
2007
Springer
The problem of mechanically formalizing and proving metatheoretic properties of programming language calculi, type systems, operational semantics, and related formal systems has r...
186
click to vote
SEMWEB
2007
Springer
16 years 28 days ago
2007
Springer
Millions of research funding has been put down to develop - what I call - old forms - of reasoning that are characterized by strong focus on theoretical properties and strict adher...
187
click to vote
SPIN
2007
Springer
16 years 28 days ago
2007
Springer
d Abstract) Luboˇs Brim and Jiˇr´ı Barnat Faculty of Informatics, Masaryk University, Brno, Czech Republic With the increase in the complexity of computer systems, it becomes e...