2620 search results - page 445 / 524 » Efficient Hardware Voxelization |
250
click to vote
RTCSA
2005
IEEE
16 years 11 days ago
2005
IEEE
Embedded systems are usually resource limited in terms of processing power, memory, and power consumption, thus embedded TCP/IP should be designed to make the best use of limited ...
170
click to vote
WISE
2005
Springer
16 years 11 days ago
2005
Springer
OWLIM is a high-performance Storage and Inference Layer (SAIL) for Sesame, which performs OWL DLP reasoning, based on forward-chaining of entilement rules. The reasoning and query ...
152
click to vote
ASPDAC
2005
ACM
16 years 11 days ago
2005
ACM
- Many high-level description languages, such as C/C++ or Java, lack the capability to specify the bitwidth information for variables and operations. Synthesis from these specifica...
180
click to vote
HVC
2005
Springer
16 years 9 days ago
2005
Springer
We present several algorithms for simultaneous SAT (propositional satisfiability) based model checking of safety properties. More precisely, we focus on Bounded Model Checking and ...
191
click to vote
ICESS
2005
Springer
16 years 9 days ago
2005
Springer
: This paper presents a simple and efficient switched Ethernet communication protocol for industrial hard real-time LAN applications. The network is founded with end nodes and a sw...