1733 search results - page 261 / 347 » On the naturalness of software |
147
click to vote
MODELS
2007
Springer
16 years 12 days ago
2007
Springer
Abstract. Alloy is a formal language, which has been applied to modelling of systems in a wide range of application domains. It is supported by Alloy Analyzer, a tool, which allows...
155
click to vote
MODELS
2007
Springer
16 years 12 days ago
2007
Springer
Abstract. Since the seminal book by the Gang of Four, design patterns have proven an important tool in software development. Over time, more and more patterns have been discovered ...
151
click to vote
SAS
2007
Springer
16 years 11 days ago
2007
Springer
We present a new pointer analysis for use in shared memory programs running on hierarchical parallel machines. The analysis is motivated by the partitioned global address space lan...
168
click to vote
COMSWARE
2006
IEEE
16 years 10 days ago
2006
IEEE
Sensor networks typically comprise of a number of inexpensive small devices with processing, communication and sensing abilities that collaborate to perform a common task. Sensor d...
191
click to vote
IPPS
2006
IEEE
16 years 9 days ago
2006
IEEE
Modern FPGA platforms provide the hardware and software infrastructure for building a bus-based System on Chip (SoC) that meet the applications requirements. The designer can cust...