1151 search results - page 131 / 231 » Automatic Generation of Complex Properties for Hardware Desi... |
136
click to vote
IEEEPACT
2003
IEEE
15 years 9 months ago
2003
IEEE
In Thread-Level Speculation (TLS), speculative tasks generate memory state that cannot simply be combined with the rest of the system because it is unsafe. One way to deal with th...
226
click to vote
ICDE
2006
IEEE
16 years 5 months ago
2006
IEEE
One of the simplest ways to query a database is through a form, where a user can fill in relevant information and obtain desired results by submitting the form. Designing good sta...
156
click to vote
DATE
2005
IEEE
15 years 10 months ago
2005
IEEE
Efficient architecture exploration and design of application specific instruction-set processors (ASIPs) requires retargetable software development tools, in particular C compil...
156
click to vote
ECMDAFA
2010
Springer
15 years 9 months ago
2010
Springer
Use cases are commonly used to structure and document requirements while UML activity diagrams are often used to visualize and formalize use cases, for example to support automated...
128
click to vote
MOBICOM
2000
ACM
15 years 8 months ago
2000
ACM
Compressing protocol headers has traditionally been an attractive way of conserving bandwidth over low-speed links, including those in wireless systems. However, despite the growt...