175 search results - page 17 / 35 » Programming physics softwares in Flash |
SENSYS
2009
ACM
14 years 2 months ago
2009
ACM
Sensor networks have the potential to empower domain experts from a wide range of fields. However, presently they are notoriously difficult for these domain experts to program, ...
HASKELL
2006
ACM
14 years 1 months ago
2006
ACM
Modern functional languages offer several attractive features to support development of reliable and secure software. However, in our efforts to use Haskell for systems programmin...
CLUSTER
2005
IEEE
14 years 1 months ago
2005
IEEE
Current operating systems offer basic support for network interface controllers (NICs) supporting remote direct memory access (RDMA). Such support typically consists of a device d...
AOSD
2007
ACM
13 years 11 months ago
2007
ACM
Wireless sensor networks consist of a system of distributed sensors embedded in the physical world, and promise to allow observation of previously unobservable phenomena. Since th...
CF
2005
ACM
13 years 9 months ago
2005
ACM
Result checking is the theory and practice of proving that the result of an execution of a program on an input is correct. Result checking has most often been envisioned in the fr...