3130 search results - page 427 / 626 » Design Correctness of Digital Systems |
154
click to vote
PODS
2006
ACM
16 years 6 months ago
2006
ACM
Recently proposed form-based web information systems liberate the capture and reuse of data in organizations by substituting the development of technical implementations of electr...
199
click to vote
ROBIO
2006
IEEE
16 years 18 days ago
2006
IEEE
- The implementation of inverse kinematics and servo controller for robot manipulator using FPGA (Field Programmer Gate Array) is investigated in this paper. Firstly, the mathemati...
189
click to vote
HASKELL
2006
ACM
16 years 16 days ago
2006
ACM
Haskell’s type system with multi-parameter constructor classes and functional dependencies allows static (compile-time) computations to be expressed by logic programming on the ...
145
click to vote
UIST
2006
ACM
16 years 16 days ago
2006
ACM
Current paper-based interfaces such as PapierCraft, provide very little feedback and this limits the scope of possible interactions. So far, there has been little systematic explo...
199
click to vote
PEWASUN
2005
ACM
16 years 4 days ago
2005
ACM
The design and evaluation of Inter-Vehicle Communication (IVC) protocols rely much on the accurate and efficient computational simulations. For simulations of Medium Access Contro...