2838 search results - page 223 / 568 » Verifying Controlled Components |
112
Voted
ICCD
2003
IEEE
15 years 9 months ago
2003
IEEE
With the circuit density available in today’s ASIC design systems, increased integration is possible creating more complexity in the design of a System on a Chip (SoC). IBM’s ...
121
click to vote
ICDCS
2009
IEEE
15 years 7 months ago
2009
IEEE
Concurrency control is a core component in optimistic replication systems. To detect concurrent updates, the system associates each replicated object with metadata, such as, versi...
114
Voted
IROS
2008
IEEE
15 years 7 months ago
2008
IEEE
— Developers and end-users have to interface robotic systems for control and feedback. Such systems are typically co-engineered with their graphical user interfaces. In the past,...
108
Voted
CODES
2007
IEEE
15 years 7 months ago
2007
IEEE
Memory requirements of intellectual property components (IP) in contemporary multi-processor systems-on-chip are increasing. Large high-speed external memories, such as DDR2 SDRAM...
93
Voted
ERSHOV
2003
Springer
15 years 6 months ago
2003
Springer
The model-view-controller pattern is used to keep a data model and its views consistent. Usually there is a one-to-one correspondence between the data in the model and its represen...