1661 search results - page 183 / 333 » Real-time specification patterns |
DAC
2009
ACM
16 years 2 months ago
2009
ACM
Electronic design automation is a field replete with challenging ? and often intractable ? problems to be solved over very large instances. As a result, the field of design automa...
114
click to vote
ISBI
2004
IEEE
16 years 2 months ago
2004
IEEE
Recently, increasing attention has focused on exploring brain activity during rest. A current challenge is to ascertain activity patterns without using an external reference. In t...
126
click to vote
CADE
2006
Springer
16 years 2 months ago
2006
Springer
Abstract. Based on inductive definitions, we develop an automated tool for defining partial recursive functions in Higher-Order Logic and providing appropriate reasoning tools for ...
111
Voted
ICNSC
2008
IEEE
15 years 8 months ago
2008
IEEE
— the eleventh-century royal portrait miniature painting of King Gagik-Abas of Kars, Queen Goranduxt, and Princess Marem is an important image within the realm of Armenian art hi...
140
Voted
IEEESCC
2008
IEEE
15 years 8 months ago
2008
IEEE
Service Oriented Architectures (SOAs) have emerged as a preferred solution to tackle the complexity of large-scale, complex, distributed, and heterogeneous systems. Key to success...