Sciweavers

18429 search results - page 399 / 3686
» Typing dynamic typing
Sort
View
CORR
2009
Springer
71views Education» more  CORR 2009»
15 years 4 months ago
Uniqueness Typing for Resource Management in Message-Passing Concurrency
Edsko de Vries, Adrian Francalanza, Matthew Hennes...
FLAIRS
2009
15 years 4 months ago
Determining Paragraph Type from Paragraph Position
Kyle B. Dempsey, Philip M. McCarthy, John C. Myers...
FORTE
2009
15 years 4 months ago
A Type Graph Model for Java Programs
Arend Rensink, Eduardo Zambon
ICAART
2009
INSTICC
15 years 4 months ago
Data Type Management in a Data Mining Application Framework
Lauri Tuovinen, Perttu Laurinen, Juha Röning
ICRA
2009
IEEE
116views Robotics» more  ICRA 2009»
15 years 4 months ago
Kinematic analysis and optimal design of a 3T1R type parallel mechanism
In previous studies on 4-DOF parallel mechanisms with four sub-chains, only symmetric arrangement of those four chains connected to the top plate was considered. Such symmetric sha...
Sung Mok Kim, Whee Kuk Kim, Byung-Ju Yi