1678 search results - page 274 / 336 » An ASM Specification of C |
ICSE
2003
IEEE-ACM
14 years 10 months ago
2003
IEEE-ACM
2. Support for User Interaction Source Viewer 3D is a software visualization framework that uses a 3D metaphor to represent software system and analysis data. The 3D representation...
ICFP
2008
ACM
14 years 10 months ago
2008
ACM
There are now a number of bidirectional programming languages, where every program can be read both as a forward transformation mapping one data structure to another and as a reve...
ICFP
2008
ACM
14 years 10 months ago
2008
ACM
This paper presents a semantic space profiler for parallel functional programs. Building on previous work in sequential profiling, our tools help programmers to relate runtime res...
MOBISYS
2006
ACM
14 years 9 months ago
2006
ACM
Multihop wireless mesh networks can provide Internet access over a wide area with minimal infrastructure expenditure. In this work, we present a measurement driven deployment stra...
MOBISYS
2006
ACM
14 years 9 months ago
2006
ACM
In this paper we present FireWxNet, a multi-tiered portable wireless system for monitoring weather conditions in rugged wildland fire environments. FireWxNet provides the fire fig...