513 search results - page 65 / 103 » A Middleware-Based Script Language |
IPSN
2009
Springer
14 years 3 months ago
2009
Springer
Sensor network application experts such as biologists, geologists, and environmental engineers generally have little experience with, and little patience for, general-purpose and ...
ICFP
2009
ACM
14 years 9 months ago
2009
ACM
We report on our experience using Haskell as an executable specification language in the formal verification of the seL4 microkernel. fication connects an abstract operational spe...
VL
2008
IEEE
14 years 3 months ago
2008
IEEE
Designers are skilled at sketching and prototyping the look of interfaces, but to explore various behaviors (what the interface does in response to input) typically requires progr...
VL
2002
IEEE
14 years 1 months ago
2002
IEEE
Many systems require data transformation – the conversion of complex data from one format to another. Most current approaches require programming, scripting bstract visual speci...
DAC
1999
ACM
14 years 1 months ago
1999
ACM
The increasing size and complexity of designs is making the use of hardware description languages (HDLs), such as Verilog and VHDL, more prevalent. They are able to describe both ...