Sciweavers

790 search results - page 94 / 158
» Software design patterns for TinyOS
Sort
View
JSS
2007
105views more  JSS 2007»
15 years 3 months ago
Composing pattern-based components and verifying correctness
Designing large software systems out of reusable components has become increasingly popular. Although liberal composition of reusable components saves time and expense, many exper...
Jing Dong, Paulo S. C. Alencar, Donald D. Cowan, S...
ECOOP
1998
Springer
15 years 8 months ago
Synthesizing Object-Oriented and Functional Design to Promote Re-Use
Many problems require recursively speci ed types ofdata and a collection of tools that operate on those data. Over time, these problems evolve so that the programmer must extend t...
Shriram Krishnamurthi, Matthias Felleisen, Daniel ...
SIGSOFT
2008
ACM
16 years 4 months ago
Javert: fully automatic mining of general temporal properties from dynamic traces
Program specifications are important for many tasks during software design, development, and maintenance. Among these, temporal specifications are particularly useful. They expres...
Mark Gabel, Zhendong Su
ICRA
2005
IEEE
104views Robotics» more  ICRA 2005»
15 years 9 months ago
System Design and Dynamic Walking of Humanoid Robot KHR-2
- In this paper, we describe the mechanical design, system integration and dynamic walking of the humanoid, KHR-2 (KAIST Humanoid Robot–2). KHR-2 has 41 DOFs in total, that allow...
Jung-Yup Kim, Ill-Woo Park, Jungho Lee, Min-Su Kim...
ASAP
2007
IEEE
134views Hardware» more  ASAP 2007»
15 years 5 months ago
Methodology and Toolset for ASIP Design and Development Targeting Cryptography-Based Applications
Network processors utilizing general-purpose instruction-set architectures (ISA) limit network throughput due to latency incurred from cryptography and hashing applications (AES, ...
David Montgomery, Ali Akoglu