6794 search results - page 1205 / 1359 » Semantics of Visual Languages |
134
Voted
TOMS
1998
15 years 2 months ago
1998
This paper presents the software architecture and implementation of the problem solving environment (PSE) PELLPACK for modeling physical objects described by partial differential ...
148
click to vote
ASUNAM
2009
IEEE
15 years 10 days ago
2009
IEEE
With hundreds of millions of users already today, virtual worlds will become an important factor in tomorrow's media landscape. In a virtual world, users are represented by s...
134
Voted
SIGSOFT
2007
ACM
16 years 3 months ago
2007
ACM
Checkpointing and replaying is an attractive technique that has been used widely at the operating/runtime system level to provide fault tolerance. Applying such a technique at the...
130
Voted
SIGSOFT
2002
ACM
16 years 3 months ago
2002
ACM
Program slicing is a potentially useful analysis for aiding program understanding. However, slices of even small programs are often too large to be generally useful. Imprecise poi...
246
Voted
POPL
2009
ACM
16 years 3 months ago
2009
ACM
ibe an abstract interpretation based framework for proving relationships between sizes of memory partitions. Instances of this framework can prove traditional properties such as m...