Sciweavers

1485 search results - page 111 / 297
» Whole Program Paths
Sort
View
AAIP
2009
13 years 10 months ago
Automated Method Induction: Functional Goes Object Oriented
The development of software engineering has had a great deal of benefits for the development of software. Along with it came a whole new paradigm of the way software is designed a...
Thomas Hieber, Martin Hofmann 0008
TOPLAS
1998
133views more  TOPLAS 1998»
13 years 9 months ago
A Systematic Study of Functional Language Implementations
Abstract: We introduce a unified framework to describe, relate, compare and classify functional language implementations. The compilation process is expressed as a succession of p...
Rémi Douence, Pascal Fradet
OOPSLA
2010
Springer
13 years 7 months ago
Task types for pervasive atomicity
Atomic regions are an important concept in correct concurrent programming: since atomic regions can be viewed as having executed in a single step, atomicity greatly reduces the nu...
Aditya Kulkarni, Yu David Liu, Scott F. Smith
NETGAMES
2004
ACM
14 years 2 months ago
Zoned federation of game servers: a peer-to-peer approach to scalable multi-player online games
Today’s Multi-player Online Games (MOGs) are challenged by infrastructure requirements, because of their server-centric nature. Peer-to-peer networks are an interesting alternat...
Takuji Iimura, Hiroaki Hazeyama, Youki Kadobayashi
KBS
2000
59views more  KBS 2000»
13 years 9 months ago
Hands-on representations in a two-dimensional space for early stages of design
In design, problem analysis is as important as solution synthesis. Strategic knowledge is required not only for constructing a solution but also for framing a problem. While exter...
Yasuhiro Yamamoto, Kumiyo Nakakoji, Shingo Takada