4693 search results - page 214 / 939 » Verifying Hybrid Systems |
142
Voted
ARC
2010
Springer
16 years 12 days ago
2010
Springer
Dot-products are one of the essential and recurrent building blocks in scientific computing, and often take-up a large proportion of the scientific acceleration circuitry. The ac...
161
click to vote
AHS
2007
IEEE
15 years 11 months ago
2007
IEEE
System-on-Chip devices containing both conventional and reconfigurable circuits are increasing in popularity. However the on-chip debug support infrastructure required to aid syst...
151
Voted
REFLECTION
2001
Springer
15 years 10 months ago
2001
Springer
A number of approaches have been proposed to achieve separation of concerns. Although all these approaches form suitable candidates for separating cross-cutting concerns in a syste...
160
Voted
ACSC
2000
IEEE
15 years 10 months ago
2000
IEEE
A significant obstacle to the development of intelligent natural language processing systems is the lack of rich knowledge bases containing representations of world knowledge. Fo...
140
click to vote
AAAI
2006
15 years 7 months ago
2006
Modern artifacts are typically composed of many system components and exhibit a complex pattern of continuous/discrete behaviors. A concurrent hybrid automaton is a powerful model...