1284 search results - page 198 / 257 » Connectivity in Bag Generation |
137
click to vote
ASYNC
2004
IEEE
15 years 10 months ago
2004
IEEE
I use asynchronous FIFO stages that are connected in rings to generate and deliver highly precise timing signals. I introduce a Micropipeline FIFO control stage that oscillates at...
191
click to vote
FDL
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper proposes a formal verification methodology which is smoothly integrated with component-based system-level design, using a divide and conquer approach. The methodology a...
158
click to vote
EKAW
2006
Springer
15 years 10 months ago
2006
Springer
As new semantic web standards evolve to allow quantified rules in FOL, we need new ways to capture them from end users. We show how to do this against a graphic view of entities an...
144
click to vote
ISER
2000
Springer
15 years 10 months ago
2000
Springer
Abstract: The paper describes the humanoid robot \H6", which was designed to serve as a platform for experimental research on the development of advanced humanoid-type robots....
155
click to vote
ICCAD
1995
IEEE
15 years 9 months ago
1995
IEEE
A key aspect of the synthesis of embedded systems is the automatic integration of system components. This entails the derivation of both the hardware and software interfaces that ...