Sciweavers

8810 search results - page 461 / 1762
» Openness
Sort
View
DM
2006
76views more  DM 2006»
15 years 6 months ago
Lex M versus MCS-M
We study the problem of minimal triangulation of graphs. One of the first algorithms to solve this problem was Lex M, which was presented in 1976. A new algorithm, and a simplific...
Yngve Villanger
ENTCS
2006
96views more  ENTCS 2006»
15 years 6 months ago
Verification of AMBA Using a Combination of Model Checking and Theorem Proving
The Advanced Microcontroller Bus Architecture (AMBA) is an open System-onChip bus protocol for high-performance buses on low-power devices. We demonstrate the combined use of mode...
Hasan Amjad
ENTCS
2006
105views more  ENTCS 2006»
15 years 6 months ago
Monte Carlo Methods for Process Algebra
We review the recently developed technique of Monte Carlo model checking and show how it can be applied to the implementation problem for I/O Automata. We then consider some open ...
Radu Grosu, Scott A. Smolka
IJES
2006
93views more  IJES 2006»
15 years 6 months ago
Dynamically configurable security for SRAM FPGA bitstreams
This paper proposes a solution to improve the security of SRAM FPGAs through bitstream encryption. This proposition is distinct from other works because it uses the latest capabil...
Lilian Bossuet, Guy Gogniat, Wayne Burleson
IVC
2008
74views more  IVC 2008»
15 years 6 months ago
Digitization of non-regular shapes in arbitrary dimensions
The preservation of topological properties during digitization is a hard problem in 3 and higher dimensions. Only for the very restricted class of r-regular shapes it is known tha...
Peer Stelldinger, Kasim Terzic