3273 search results - page 349 / 655 » Structured Design of Microelectromechanical Systems |
142
click to vote
APSEC
2000
IEEE
15 years 9 months ago
2000
IEEE
SOFL is a formal language and method for system specification and design. As a language it is an integration of Petri nets, Data Flow Diagrams, and VDM-SL. As a method it is a com...
152
click to vote
IWFM
1998
15 years 7 months ago
1998
In this paper we suggest methods to aid the development of specifications using the B method. We propose an objectoriented approach to specification, developing the structure thro...
159
click to vote
ACL
2010
15 years 4 months ago
2010
Developing features has been shown crucial to advancing the state-of-the-art in Semantic Role Labeling (SRL). To improve Chinese SRL, we propose a set of additional features, some...
175
click to vote
FLAIRS
2004
15 years 7 months ago
2004
As the complexity of industrial processes increases, it requires the use of intelligent sensors or actuators (known as Intelligent Instruments) to allow for more comprehensive and...
156
click to vote
MICRO
2009
IEEE
16 years 25 days ago
2009
IEEE
Dynamic Random Access Memory (DRAM) is used as the bulk of the main memory in most computing systems and its energy and power consumption has become a first-class design considera...