14244 search results - page 2478 / 2849 » Modeling Program Predictability |
133
Voted
PPOPP
1997
ACM
15 years 8 months ago
1997
ACM
Global addressing of shared data simplifies parallel programming and complements message passing models commonly found in distributed memory machines. A number of programming sys...
148
Voted
ASPLOS
2009
ACM
15 years 7 months ago
2009
ACM
Optical Quadrature Microscopy (OQM) is a process which uses phase data to capture information about the sample being studied. OQM is part of an imaging framework developed by the ...
174
Voted
HOPL
2007
15 years 7 months ago
2007
AppleScript is a scripting language and environment for the Mac OS. Originally conceived in 1989, AppleScript allows end-users to automate complex tasks and customize Mac OS appli...
154
Voted
APSEC
2004
IEEE
15 years 7 months ago
2004
IEEE
Unit testing is a methodology for testing small parts of an application independently of whatever application uses them. It is time consuming and tedious to write unit tests, and ...
139
Voted
APLAS
2006
ACM
15 years 7 months ago
2006
ACM
Abstract. Static analyses calculate abstract states, and their logics validate properties of the abstract states. We place into perspective the variety of forwards, backwards, func...