2036 search results - page 163 / 408 » Analysis of the XC6000 Architecture for Embedded System Desi... |
261
click to vote
ICSE
2007
IEEE-ACM
16 years 18 days ago
2007
IEEE-ACM
Capturing the technical knowledge, contextual information, and rationale surrounding the design decisions underpinning system architectures can greatly improve the software develo...
198
click to vote
TCOS
2010
15 years 1 months ago
2010
Abstract. In [24] Raddum and Semaev propose a technique to solve systems of polynomial equations over F2 as occurring in algebraic attacks on block ciphers. This approach is known ...
169
click to vote
CODES
2007
IEEE
16 years 24 days ago
2007
IEEE
The design and analysis of today’s complex real-time systems requires advanced methods. Due to ever growing functionality, hardware complexity and component interaction, applyin...
163
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
Software systems are subject to increasing complexity and in need of efficient structuring. Multi-agent system research has come up with approaches for an organization-oriented co...
168
click to vote
DATE
2007
IEEE
16 years 24 days ago
2007
IEEE
This paper introduces a method and tool-support for the automatic analysis and verification of hybrid and embedded control systems, whose continuous dynamics are often modelled u...