2409 search results - page 217 / 482 » Logical systems for structured specifications |
126
click to vote
FPGA
2004
ACM
15 years 10 months ago
2004
ACM
This paper shows a method to verifying the thermal status of complex FPGA-based circuits like microprocessors. Thus, the designer can evaluate if a particular block is working bey...
115
click to vote
COMPSAC
2009
IEEE
15 years 11 months ago
2009
IEEE
In software engineering projects, there are two different types of modeling tools. On the one hand, there are tools to model the system under construction, i.e. tools for requirem...
143
click to vote
GPCE
2007
Springer
15 years 11 months ago
2007
Springer
Maintaining integrity, consistency, and enforcing conformance in architectures of large-scale systems requires specification and enforcement of many different forms of structural...
126
Voted
GECCO
2003
Springer
15 years 10 months ago
2003
Springer
Initial results have been achieved for automatic synthesis of MEMS system-level lumped parameter models using genetic programming and bond graphs. This paper first discusses the ne...
109
click to vote
ICC
2007
IEEE
15 years 11 months ago
2007
IEEE
– Cooperative transmission has been of growing interest recently where users take advantage of each other’s resources for better overall performance. In this paper, coded coope...