3273 search results - page 418 / 655 » Structured Design of Microelectromechanical Systems |
153
click to vote
SAC
2006
ACM
16 years 14 days ago
2006
ACM
We propose union types for statically typed class-based objectoriented languages as a means to enhance the flexibility of subtyping. As its name suggests, a union type can be con...
170
click to vote
RSP
2005
IEEE
16 years 3 days ago
2005
IEEE
Nowadays, Architecture Description Languages (ADLs) are getting popular to speed up the development of complex SoC design, by performing the design space explon a higher level of ...
147
click to vote
SMA
2005
ACM
16 years 2 days ago
2005
ACM
In the parametric feature based design paradigm, most features possess arguments that are subsets of the boundary of the current model, subsets defined interactively by user sele...
158
click to vote
SPAA
2005
ACM
16 years 2 days ago
2005
ACM
One approach in verifying the correctness of a multiprocessor system is to show that its execution results comply with the memory consistency model it is meant to implement. It ha...
163
click to vote
VLDB
2005
ACM
16 years 2 hour ago
2005
ACM
This paper presents the design of a read-optimized relational DBMS that contrasts sharply with most current systems, which are write-optimized. Among the many differences in its d...