Sciweavers

1129 search results - page 212 / 226
» Interface-Centric Architecture Descriptions
Sort
View
WSC
2008
14 years 5 days ago
Lean engineering for planning systems redesign - staff participation by simulation
Lean manufacturing aims at flexible and efficient manufacturing systems by reducing waste in all forms, such as, production of defective parts, excess inventory, unnecessary proce...
Durk-Jouke van der Zee, Arnout Pool, Jakob Wijngaa...
ARCS
2008
Springer
13 years 12 months ago
Synthesis of Multi-dimensional High-Speed FIFOs for Out-of-Order Communication
Due to increasing complexity of modern real-time image processing applications, classical hardware development at register transfer level becomes more and more the bottleneck of te...
Joachim Keinert, Christian Haubelt, Jürgen Te...
CC
2008
Springer
123views System Software» more  CC 2008»
13 years 12 months ago
Automatic Transformation of Bit-Level C Code to Support Multiple Equivalent Data Layouts
Portable low-level C programs must often support multiple equivalent in-memory layouts of data, due to the byte or bit order of the compiler, architecture, or external data formats...
Marius Nita, Dan Grossman
CHES
2008
Springer
84views Cryptology» more  CHES 2008»
13 years 12 months ago
A Real-World Attack Breaking A5/1 within Hours
Abstract. In this paper we present a real-world hardware-assisted attack on the wellknown A5/1 stream cipher which is (still) used to secure GSM communication in most countries all...
Timo Gendrullis, Martin Novotný, Andy Rupp
ISARCS
2010
156views Hardware» more  ISARCS 2010»
13 years 11 months ago
A Road to a Formally Verified General-Purpose Operating System
Methods of formal description and verification represent a viable way for achieving fundamentally bug-free software. However, in reality only a small subset of the existing operati...
Martin Decký